diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2014-11-01 13:51:05 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2014-11-01 13:51:05 +0100 |
| commit | a0f694ea44b9d68390846b48d720f9a37fd679b8 (patch) | |
| tree | 38ee04006e38197fd8009697b8975007ec0f45c8 /libs/openpgp-api-lib/project.properties | |
| parent | 142384e5805d93887d185c9a5b74d4850e4ec719 (diff) | |
| parent | 46f147a82c6b161e071f717c7686f8b78a20aaf1 (diff) | |
Merge pull request #600 from SamWhited/gradle
Build system and library changes (Gradle / Subtree merging)
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 |