Vladimír Čunát 075e8aeecb dns-root-data: switch to new URL ... There's a redirect in place, so it doesn't really matter.		2020-07-01 16:20:48 +02:00
..
default.nix
root.ds
root.key
update-root-key.sh