]> git.openstreetmap.org Git - dns.git/history - .editorconfig
Point chef, dns and git at idris
[dns.git] / .editorconfig
2022-06-21 Tom HughesMerge remote-tracking branch 'github/pull/14'
2021-05-31 Grant SlaterAdd .editorconfig file