diff options
author | Thierry Reding <treding@nvidia.com> | 2016-12-21 18:08:29 +0100 |
---|---|---|
committer | Thierry Reding <treding@nvidia.com> | 2017-01-12 22:40:59 +0100 |
commit | 885624b0b9691562cdc019182985605a84042e5c (patch) | |
tree | 55029ebfb182a3a1c766c1fe6b05e7364d1efd30 /.editorconfig | |
parent | e17cad1994d321a8279c124e7a85ddddcdd9e4cd (diff) |
Add .editorconfig
This encodes the indentation style for libdrm and can be used with
various editors. See http://editorconfig.org for instructions.
Reviewed-by: Emil Velikov <emil.l.velikov@gmail.com>
Signed-off-by: Thierry Reding <treding@nvidia.com>
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000..893b7be0 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,19 @@ +# To use this config with your editor, follow the instructions at: +# http://editorconfig.org + +root = true + +[*] +charset = utf-8 +insert_final_newline = true + +[*.{c,h}] +indent_style = space +indent_size = 4 + +[{Makefile.*,*.mk}] +indent_style = tab + +[*.m4] +indent_style = space +indent_size = 2 |