diff options
Diffstat (limited to '')
| -rw-r--r-- | project.properties | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/project.properties b/project.properties new file mode 100644 index 00000000..d69ab586 --- /dev/null +++ b/project.properties @@ -0,0 +1,15 @@ +# This file is automatically generated by Android Tools. +# Do not modify this file -- YOUR CHANGES WILL BE ERASED! +# +# This file must be checked in Version Control Systems. +# +# To customize properties used by the Ant build system edit +# "ant.properties", and override values to adapt the script to your +# project structure. +# +# To enable ProGuard to shrink and obfuscate your code, uncomment this (available properties: sdk.dir, user.home): +#proguard.config=${sdk.dir}/tools/proguard/proguard-android.txt:proguard-project.txt + +# Project target. +target=android-19 +android.library.reference.1=libs/openpgp-keychain/OpenPGP-Keychain-API/libraries/keychain-api-library |