Simon Ser
il y a 4 ans
Parent
révision
dd5633ac51
Aucune clé connue n'a été trouvée dans la base pour cette signature
ID de la clé GPG: FDE7BE0E88F5E48
1 fichiers modifiés avec
4 ajouts et
0 suppressions
-
.editorconfig
|
|
@@ -1,6 +1,10 @@ |
|
|
|
root = true |
|
|
|
|
|
|
|
[*] |
|
|
|
end_of_line = lf |
|
|
|
insert_final_newline = true |
|
|
|
charset = utf-8 |
|
|
|
trim_trailing_whitespace = true |
|
|
|
indent_style = tab |
|
|
|
indent_size = 4 |
|
|
|
|
|
|
|