diff options
| author | Dominik <dominik@dominikschuermann.de> | 2012-11-19 17:56:58 +0100 |
|---|---|---|
| committer | Dominik <dominik@dominikschuermann.de> | 2012-11-19 17:56:58 +0100 |
| commit | be569984b893e8cb412b9cc2b3826c92fd4c9d81 (patch) | |
| tree | 150dc6b112aecde5d34b5d0cc23f4bb35b7fcb3f /APG-API-Demo/project.properties | |
| parent | e8ec4d280c75dc1aa5eb58dfaf49b35c9b6c8776 (diff) | |
| download | open-keychain-be569984b893e8cb412b9cc2b3826c92fd4c9d81.tar.gz open-keychain-be569984b893e8cb412b9cc2b3826c92fd4c9d81.tar.bz2 open-keychain-be569984b893e8cb412b9cc2b3826c92fd4c9d81.zip | |
rename main folders
Diffstat (limited to 'APG-API-Demo/project.properties')
| -rw-r--r-- | APG-API-Demo/project.properties | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/APG-API-Demo/project.properties b/APG-API-Demo/project.properties new file mode 100644 index 000000000..8abe35df9 --- /dev/null +++ b/APG-API-Demo/project.properties @@ -0,0 +1,12 @@ +# 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 use, +# "ant.properties", and override values to adapt the script to your +# project structure. + +# Project target. +target=android-15 +android.library.reference.1=../org_apg_integration_lib |