Merge pull request #13 from open-domains/WilliamDavidHarrison-patch-1

Delete hitler.is-not-a.dev.json

domains/hitler.is-not-a.dev.json

@@ -1,16 +0,0 @@
-{
-  "$schema": "../schemas/domain.schema.json",
-
-  "description": "hitler.is-not-a.dev (migrated from old service)",
-
-  "domain": "is-not-a.dev",
-  "subdomain": "hitler",
-
-  "owner": {},
-
-  "record": {
-    "A": ["154.6.137.2"]
-  },
-
-  "proxy": false
-}