Parcourir la source

Merge branch 'dev' of https://github.com/FreshRSS/FreshRSS into FreshRSS/dev

Alexandre Alapetite il y a 8 ans
Parent
commit
429b290411
1 fichiers modifiés avec 7 ajouts et 0 suppressions
  1. 7 0
      .editorconfig

+ 7 - 0
.editorconfig

@@ -0,0 +1,7 @@
+[*]
+end_of_line = lf
+
+[*.php]
+indent_style = tab
+indent_size = 4
+insert_final_newline = true