diff options
author | Thierry Reding | 2016-12-21 11:08:29 -0600 |
---|---|---|
committer | Thierry Reding | 2017-01-12 15:40:59 -0600 |
commit | 885624b0b9691562cdc019182985605a84042e5c (patch) | |
tree | 55029ebfb182a3a1c766c1fe6b05e7364d1efd30 | |
parent | e17cad1994d321a8279c124e7a85ddddcdd9e4cd (diff) | |
download | external-libdrm-885624b0b9691562cdc019182985605a84042e5c.tar.gz external-libdrm-885624b0b9691562cdc019182985605a84042e5c.tar.xz external-libdrm-885624b0b9691562cdc019182985605a84042e5c.zip |
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>
-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 @@ | |||
1 | # To use this config with your editor, follow the instructions at: | ||
2 | # http://editorconfig.org | ||
3 | |||
4 | root = true | ||
5 | |||
6 | [*] | ||
7 | charset = utf-8 | ||
8 | insert_final_newline = true | ||
9 | |||
10 | [*.{c,h}] | ||
11 | indent_style = space | ||
12 | indent_size = 4 | ||
13 | |||
14 | [{Makefile.*,*.mk}] | ||
15 | indent_style = tab | ||
16 | |||
17 | [*.m4] | ||
18 | indent_style = space | ||
19 | indent_size = 2 | ||