editorconfig.github.com
editorconfig.github.com copied to clipboard
Add separate section for tools/services
Indeed separating tools and editors seems like a good idea