mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-15 10:15:31 +00:00
Update and rename gato.is-local.org to gato.is-local.org.json
This commit is contained in:
1 parent
a00c2f86df
commit
4339847fd2
1 file changed
+1
-1
@@ -12,7 +12,7 @@
|
||||
},
|
||||
|
||||
"record": {
|
||||
"NS": ["galileo.aternos.org", "columbus.aternos.org"]
|
||||
"NS": ["galileo.aternos.org.", "columbus.aternos.org."]
|
||||
},
|
||||
|
||||
"proxy": false
|
||||
Reference in new issue
Block a user