diff options
| author | Mike Vink <ivi@vinkies.net> | 2025-02-08 23:30:48 +0100 |
|---|---|---|
| committer | Mike Vink <ivi@vinkies.net> | 2025-02-08 23:30:48 +0100 |
| commit | d39eadf7201849cb66d12d88dd5864b605654953 (patch) | |
| tree | f36b54036e2678f8207afec7f812a6f7c8595f74 /.editorconfig | |
| parent | 5155f16210a6e78029cdf613f5c1b626f3f44c78 (diff) | |
editorconfig
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..efcddad --- /dev/null +++ b/.editorconfig @@ -0,0 +1,13 @@ +# EditorConfig is awesome: https://editorconfig.org + +# top-most EditorConfig file +root = true + +# Unix-style newlines with a newline ending every file +[*] +insert_final_newline = true +trim_trailing_whitespace = true + +# Tab indentation (no size specified) +[Makefile] +indent_style = tab |
