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 /build.xml | |
| 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 'build.xml')
0 files changed, 0 insertions, 0 deletions