diff options
Diffstat (limited to '')
-rw-r--r-- | libs/openpgp-api-lib/project.properties (renamed from project.properties) | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/project.properties b/libs/openpgp-api-lib/project.properties index 7276fb94..91d2b024 100644 --- a/project.properties +++ b/libs/openpgp-api-lib/project.properties @@ -12,6 +12,4 @@ # Project target. target=android-19 -android.library.reference.1=libs/minidns -android.library.reference.2=libs/openpgp-api-lib -android.library.reference.3=libs/MemorizingTrustManager +android.library=true |