diff options
| author | krasimir <krasimir@chalmers.se> | 2010-07-08 10:06:26 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-07-08 10:06:26 +0000 |
| commit | 995309188819d5beded285919bcab2bb177a10b5 (patch) | |
| tree | 5237050670dd11f3e7198059ec9afaf11258d784 /src/ui/android/default.properties | |
| parent | be06bc8a09854d3b983b99492297efb82db10b71 (diff) | |
add src/ui folder for both Android and GWT UIs
Diffstat (limited to 'src/ui/android/default.properties')
| -rw-r--r-- | src/ui/android/default.properties | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/ui/android/default.properties b/src/ui/android/default.properties new file mode 100644 index 000000000..19c96655d --- /dev/null +++ b/src/ui/android/default.properties @@ -0,0 +1,13 @@ +# 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, +# "build.properties", and override values to adapt the script to your +# project structure. + +# Indicates whether an apk should be generated for each density. +split.density=false +# Project target. +target=android-4 |