diff options
| author | gumi <git@gumi.ca> | 2020-06-17 17:36:04 +0000 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2020-06-17 17:43:58 +0000 |
| commit | 54563d39dd010ca8ab5f7f4868670f16a553b336 (patch) | |
| tree | ab204f2fa1841a4f606f1de25fd8c6b3949409b1 /.editorconfig | |
| parent | 3efeaa5d84c1399f21d45a1bdb58c71278dfee85 (diff) | |
| download | policies-54563d39dd010ca8ab5f7f4868670f16a553b336.tar.gz policies-54563d39dd010ca8ab5f7f4868670f16a553b336.tar.bz2 policies-54563d39dd010ca8ab5f7f4868670f16a553b336.tar.xz policies-54563d39dd010ca8ab5f7f4868670f16a553b336.zip | |
[ci skip] add editorconfig and fix misc formatting
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..40e3782 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,12 @@ +# top-most EditorConfig file +root = true + +[*] +indent_style = tab +end_of_line = lf +insert_final_newline = true +trim_trailing_whitespace = true + +[*.md] +indent_style = space +indent_size = 4 |