diff options
author | Peter Eisentraut <peter@eisentraut.org> | 2019-12-18 09:08:23 +0100 |
---|---|---|
committer | Peter Eisentraut <peter@eisentraut.org> | 2019-12-18 09:13:13 +0100 |
commit | ecb09cd5de5279ab9cfa20a58fd3da44f7df5779 (patch) | |
tree | 81769dfe1d95fd537380a2e0b8d772f05b4d5dcc /.editorconfig | |
parent | 2032645b195a53519b43dad57f55bc163b99f0ef (diff) | |
download | postgresql-ecb09cd5de5279ab9cfa20a58fd3da44f7df5779.tar.gz |
Add .editorconfig
The main use right now is getting properly spaced diff views on
GitHub, but perhaps this will also help developers with editors that
we currently don't have setup recipes for.
The settings mirror mostly what's currently in .dir-locals.el.
Discussion: https://www.postgresql.org/message-id/flat/273cb788-bbb2-ff34-ad6f-5192b44e5049%402ndquadrant.com
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000000..d69a3d1dc4 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,14 @@ +root = true + +[*.{c,h,l,y,pl,pm}] +indent_style = tab +indent_size = tab +tab_width = 4 + +[*.{sgml,xml}] +indent_style = space +indent_size = 1 + +[*.xsl] +indent_style = space +indent_size = 2 |