From 84f679ebc2980fae9d330db11afd1e98b2323fae Mon Sep 17 00:00:00 2001 From: Joe Steele Date: Wed, 23 Oct 2013 10:41:06 -0400 Subject: [PATCH] Remove ant.properties The properties currently therein are duplicates of those in project.properties. The build.xml file first loads properties from ant.properties, then from project.properties, so ant.properties is redundant. The file's existance was a maintenance issue. The past couple times when the property "target" was updated in project.properties, the property was overlooked in ant.properties, so ant builds would fail when Eclipse builds would succeed. --- ant.properties | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 ant.properties diff --git a/ant.properties b/ant.properties deleted file mode 100644 index cf3bfb120..000000000 --- a/ant.properties +++ /dev/null @@ -1,23 +0,0 @@ -# This file is used to override default values used by the Ant build system. -# -# This file must be checked in Version Control Systems, as it is -# integral to the build system of your project. - -# This file is only used by the Ant script. - -# You can use this to override default values such as -# 'source.dir' for the location of your java source folder and -# 'out.dir' for the location of your output folder. - -# You can also use it define how the release builds are signed by declaring -# the following properties: -# 'key.store' for the location of your keystore and -# 'key.alias' for the name of the key to use. -# The password will be asked during the build when you use the 'release' target. - -# Indicates whether an apk should be generated for each density. -split.density=false -java.encoding=utf8 -# Project target. -target=android-17 -extensible.libs.classpath=compile-only-libs