projects / users / rhaas / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2032645) | patch
Add .editorconfig
authorPeter Eisentraut <peter@eisentraut.org>
Wed, 18 Dec 2019 08:08:23 +0000 (09:08 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Wed, 18 Dec 2019 08:13:13 +0000 (09:13 +0100)
commitecb09cd5de5279ab9cfa20a58fd3da44f7df5779
tree81769dfe1d95fd537380a2e0b8d772f05b4d5dcctree
parent2032645b195a53519b43dad57f55bc163b99f0efcommit | diff
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
.editorconfig [new file with mode: 0644] blob
Robert Haas's development tree.