diff options
| author | Dominik Schürmann <dominik@dominikschuermann.de> | 2014-05-07 18:52:11 +0200 |
|---|---|---|
| committer | Dominik Schürmann <dominik@dominikschuermann.de> | 2014-05-07 18:52:11 +0200 |
| commit | fa81beac3d5a83498b3973d1ae64cf03bd16ab08 (patch) | |
| tree | 852e1d0effc233cf122318cbaca1be2cd9e4258e /project.properties | |
| parent | 02e8db4f4c4834b5d207e92869dc2c2b7d1b2cee (diff) | |
Use git submodule with openpgp-api-lib only
Diffstat (limited to '')
| -rw-r--r-- | project.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project.properties b/project.properties index f54b95ea..86ae5d0c 100644 --- a/project.properties +++ b/project.properties @@ -13,4 +13,4 @@ # Project target. target=android-19 android.library.reference.1=libs/minidns -android.library.reference.2=libs/openpgp-keychain/OpenKeychain-API/libraries/openpgp-api-library +android.library.reference.2=libs/openpgp-api-lib |