4 ms·
Is editorconfig any use there? It definitely makes life easier on projects where the contributors have a mix of tools. https://editorconfig.org/ https://editor
by petepete 4y ago
Is editorconfig any use there? It definitely makes life easier on projects where the contributors have a mix of tools.
https://editorconfig.org/ https://editorconfig.org/
- timwaagh 4y agoIf I was in the lead perhaps.