Move editorconfig out of core into tools/editorconfig

This commit is contained in:
Henrik Lissner 2018-05-08 19:59:08 +02:00
parent 99ca62c106
commit 8d936f2d0b
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395
6 changed files with 74 additions and 57 deletions

View file

@ -43,6 +43,7 @@
:tools
dired ; making dired pretty [functional]
editorconfig ; let someone else argue about tabs vs spaces
ein ; tame Jupyter notebooks with emacs
electric-indent ; smarter, keyword-based electric-indent
eshell ; a consistent, cross-platform shell (WIP)