diff options
Diffstat (limited to 'dists/android/project.properties')
| -rw-r--r-- | dists/android/project.properties | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dists/android/project.properties b/dists/android/project.properties new file mode 100644 index 0000000000..730e911f2f --- /dev/null +++ b/dists/android/project.properties @@ -0,0 +1,11 @@ +# 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-14 |