.editorconfig: set docbook indent size#87919
Merged
Mic92 merged 2 commits intoNixOS:masterfrom May 19, 2020
zowoq:docbook-editorconfig
Merged
.editorconfig: set docbook indent size#87919Mic92 merged 2 commits intoNixOS:masterfrom zowoq:docbook-editorconfig
Mic92 merged 2 commits intoNixOS:masterfrom
zowoq:docbook-editorconfig