Disable tools/editorconfig by default

This commit is contained in:
Henrik Lissner 2018-12-22 20:18:14 -05:00
parent 695edd7a14
commit f35837755c
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395

View file

@ -65,7 +65,7 @@
:tools
;;ansible
;;docker
editorconfig ; let someone else argue about tabs vs spaces
;;editorconfig ; let someone else argue about tabs vs spaces
;;ein ; tame Jupyter notebooks with emacs
;;gist ; interacting with github gists
;;macos ; MacOS-specific commands