aboutsummaryrefslogtreecommitdiffstats
path: root/project.properties
diff options
context:
space:
mode:
authorRene Treffer <treffer@measite.de>2014-04-03 09:42:58 +0200
committerRene Treffer <treffer@measite.de>2014-04-03 09:42:58 +0200
commitff88dc0eaa080aa9864fc37f300a7e9f3f8206d9 (patch)
tree3e9bd1fce56528a31c135358787cb36ad681ceca /project.properties
parentd53dc28f4cb79d3508db2a30c5fab758f8a8ff13 (diff)
Switch to a small DNS library for DNS resolving.
Diffstat (limited to '')
-rw-r--r--project.properties1
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