should not be part of this merge

pull/437/head
Michael Christen 3 years ago committed by GitHub
parent 870319e769
commit eec1fbb921
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,10 +0,0 @@
root = true
[*]
end_of_line = lf
insert_final_newline = true
indent_size = 2
indent_style = space
[*.{sh,java}]
indent_size = 4
Loading…
Cancel
Save