]> git.openstreetmap.org Git - dns.git/commit
Point chef, dns and git at idris
authorTom Hughes <tom@compton.nu>
Sun, 9 Oct 2022 11:36:42 +0000 (12:36 +0100)
committerTom Hughes <tom@compton.nu>
Sun, 9 Oct 2022 11:36:42 +0000 (12:36 +0100)
commit271ba656a77aae082c11879669688f2eed63486f
tree1d03365e8b955df774f16500d74779df79542231
parent30c01cffc4d6a65c2545478696e3168d1463fc50
Point chef, dns and git at idris
src/openstreetmap.js