diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2014-04-03 09:50:57 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2014-04-03 09:50:57 +0200 |
commit | 2efb97efa04bd39b520fff825b1e741edb9c2228 (patch) | |
tree | 1cb707e4f7e74d6fe35b48b7836431d875da95d3 /.gitmodules | |
parent | 21be7bc16080f89778b0df4c7c55fd93b9f991a1 (diff) | |
parent | ff88dc0eaa080aa9864fc37f300a7e9f3f8206d9 (diff) |
Merge pull request #39 from rtreffer/minidns
Switch to a small DNS library for DNS resolving.
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 860d9662..886fc27b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,7 @@ [submodule "libs/openpgp-keychain"] path = libs/openpgp-keychain url = https://github.com/openpgp-keychain/openpgp-keychain.git +[submodule "libs/minidns"] + path = libs/minidns + url = https://github.com/rtreffer/minidns.git + |