Skip to main content

Browse the archive

Revision 11c74594cfc1feda21655f5f81cdb1d37e4b18bb authored by Lars Bilke on 24 October 2022, 11:35:56 UTC, committed by Lars Bilke on 04 November 2022, 09:55:30 UTC 
[web] Gather notebook pages from PETSc job too.
1 parent 1d05ff7
Raw File
.editorconfig 
[*]
indent_style = space
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true
indent_size = 4

[*.{md,pandoc}]
trim_trailing_whitespace = false

[*.{json,yml,yaml,toml,html,css,js,scss,md}]
indent_size = 2
back to top