diff options
| author | Rene Treffer <treffer@measite.de> | 2014-04-03 09:42:58 +0200 |
|---|---|---|
| committer | Rene Treffer <treffer@measite.de> | 2014-04-03 09:42:58 +0200 |
| commit | ff88dc0eaa080aa9864fc37f300a7e9f3f8206d9 (patch) | |
| tree | 3e9bd1fce56528a31c135358787cb36ad681ceca /project.properties | |
| parent | d53dc28f4cb79d3508db2a30c5fab758f8a8ff13 (diff) | |
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 |