diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2014-05-07 20:06:12 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2014-05-07 20:06:12 +0200 |
| commit | f4330b3a4818b70193f378be382075c5c1a7bf9e (patch) | |
| tree | 852e1d0effc233cf122318cbaca1be2cd9e4258e /project.properties | |
| parent | 02e8db4f4c4834b5d207e92869dc2c2b7d1b2cee (diff) | |
| parent | fa81beac3d5a83498b3973d1ae64cf03bd16ab08 (diff) | |
Merge pull request #87 from dschuermann/development
Use git submodule with openpgp-api-lib only
Diffstat (limited to 'project.properties')
| -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 |