diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-02-02 17:14:32 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-02-02 17:14:32 +0100 |
commit | 5dadc28ea784db1ba1f56c2ea8618d2db67af1c8 (patch) | |
tree | 808b2499b54563b3290f34d70d159b1024310873 /.editorconfig | |
parent | 5bb4cf12855ec0151de15d6c5a2354ff08766957 (diff) | |
parent | 3dade5db2a37543f19f0967901d8d80a52a1e459 (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index 0faa31d..107f9ec 100644 --- a/.editorconfig +++ b/.editorconfig @@ -12,3 +12,7 @@ root = true ; look no further charset = utf-8 insert_final_newline = true trim_trailing_whitespace = true + +[backend/escl/*] +indent_size = 4 +indent_style = space |