diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 7ddaefe6..00000000 --- a/.gitmodules +++ /dev/null @@ -1,10 +0,0 @@ -[submodule "libs/minidns"] - path = libs/minidns - url = https://github.com/rtreffer/minidns.git - -[submodule "libs/openpgp-api-lib"] - path = libs/openpgp-api-lib - url = https://github.com/open-keychain/openpgp-api-lib.git -[submodule "libs/MemorizingTrustManager"] - path = libs/MemorizingTrustManager - url = https://github.com/iNPUTmice/MemorizingTrustManager.git |