Document .editorconfig as alternative to settings.json#1024
Open
unode wants to merge 1 commit intogitpod-io:masterfrom
Open
Document .editorconfig as alternative to settings.json#1024unode wants to merge 1 commit intogitpod-io:masterfrom
unode wants to merge 1 commit intogitpod-io:masterfrom