diff options
| author | 2017-12-21 17:21:11 +0100 | |
|---|---|---|
| committer | 2017-12-21 17:21:11 +0100 | |
| commit | 4c3908e60b35c6aef03c90c534a6128b17bcd3d9 (patch) | |
| tree | 89178d6b8a0ac5cf45d255b7a28cb34f213f58ac /.editorconfig | |
| parent | 942508d8798c67a129e488b73ceecd6f5116bd9e (diff) | |
Tiny additions to .editorconfig (#1744)
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index e18761a1a..a81fc1c9e 100644 --- a/.editorconfig +++ b/.editorconfig @@ -1,5 +1,16 @@ +# Copying and distribution of this file, with or without modification, +# are permitted in any medium without royalty provided this notice is +# preserved. This file is offered as-is, without any warranty. +# Names of contributors must not be used to endorse or promote products +# derived from this file without specific prior written permission. + +# EditorConfig +# http://EditorConfig.org + [*] end_of_line = lf +insert_final_newline = true +charset = utf-8 [*.php] indent_style = tab |
