ditch minidns

2020-05-30 15:47:09 +02:00
parent 12dce183d1
commit 5cd210831b
4 changed files with 0 additions and 150 deletions
@@ -2,10 +2,6 @@
 	path = extern/openpgp-api-lib
 	url = https://github.com/open-keychain/openpgp-api.git
 	ignore = dirty
-[submodule "extern/minidns"]
-	path = extern/minidns
-	url = https://github.com/open-keychain/minidns.git
-	ignore = dirty
 [submodule "OpenKeychain/src/test/resources/openpgp-interop"]
 	path = OpenKeychain/src/test/resources/openpgp-interop
 	url = https://github.com/google/openpgp-interop