diff options
-rw-r--r-- | .gitmodules | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index e4098287a..000000000 --- a/.gitmodules +++ /dev/null @@ -1,9 +0,0 @@ -[submodule "libs/MemorizingTrustManager"] - path = libs/MemorizingTrustManager - url = https://github.com/iNPUTmice/MemorizingTrustManager.git -[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 |