diff options
| author | 2017-12-17 15:43:11 +0100 | |
|---|---|---|
| committer | 2017-12-17 15:43:11 +0100 | |
| commit | 429b290411871a65723053bfae8d928d3a3a75b8 (patch) | |
| tree | 719d30cc8f7428128f2a4bc8353d3e6ffdd4b4a0 | |
| parent | aadb632fffe22efcf5e1ecc0731329601f156f56 (diff) | |
| parent | 0714db36f6c813618ce9371118be7da3442930ab (diff) | |
Merge branch 'dev' of https://github.com/FreshRSS/FreshRSS into FreshRSS/dev
| -rw-r--r-- | .editorconfig | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000..e18761a1a --- /dev/null +++ b/.editorconfig @@ -0,0 +1,7 @@ +[*] +end_of_line = lf + +[*.php] +indent_style = tab +indent_size = 4 +insert_final_newline = true |
