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 /project.properties | |
| 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 'project.properties')
| -rw-r--r-- | project.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project.properties b/project.properties index 1a482f6f..c6492266 100644 --- a/project.properties +++ b/project.properties @@ -13,3 +13,4 @@ # Project target. target=android-19 android.library.reference.1=libs/openpgp-keychain/OpenPGP-Keychain-API/libraries/openpgp-api-library +android.library.reference.2=libs/minidns |