diff options
| author | Thomas Vigouroux <tomvig38@gmail.com> | 2020-04-18 17:39:03 +0200 |
|---|---|---|
| committer | Thomas Vigouroux <tomvig38@gmail.com> | 2020-04-18 17:39:03 +0200 |
| commit | e647356210b23224e5bcc8893cfbcb031bad3ed4 (patch) | |
| tree | 4187b37359f43df82506445517392501bc3e15b3 | |
| parent | 3ca9471db634272162c581988c696f6d73f6baa6 (diff) | |
style: add editorconfig
| -rw-r--r-- | .editorconfig | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000..bb6a1423 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,13 @@ +root = true + +[*] +indent_style = space +indent_size = 2 +tab_width = 8 +end_of_line = lf +insert_final_newline = true +charset = utf-8 + +[{Makefile,**/Makefile,runtime/doc/*.txt}] +indent_style = tab +indent_size = 8 |