Rewrite #1

Open
svenvanheugten wants to merge 23 commits from mutannot-rewrite into main
Showing only changes of commit ccb456d5b0 - Show all commits

14
.editorconfig Normal file
View file

@ -0,0 +1,14 @@
root = true
[*]
indent_style = space
charset = utf-8
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true
[*.nix]
indent_size = 2
[*.{fs,fsi,fsx}]
indent_size = 4