JosJuice 36166c9b4f Android: Don't copy default game INIs into user game INIs ... This isn't as serious as copying global INIs into user game INIs, but still not good. We want to be able to remove settings from default game INIs and have those removals apply.		2019-07-02 19:28:43 +02:00
..
app	Android: Don't copy default game INIs into user game INIs	2019-07-02 19:28:43 +02:00
gradle/wrapper	Android Studio 3.3.1 Updates	2019-02-18 10:32:57 -05:00
jni	Android: Suggest deleting game INIs if they contain global INI data	2019-07-02 19:28:38 +02:00
.gitignore	Android:Changes to simplify command-line building of the app, and bugfixes to the Gradle script	2015-07-13 09:37:44 -04:00
build.gradle	Android Studio 3.3.1 Updates	2019-02-18 10:32:57 -05:00
code-style-java.xml	Update code style file, remove old style .jar	2018-08-26 21:32:56 -07:00
gradle.properties	Android: Remove legacy hack that is not needed anymore	2018-10-29 21:37:44 +01:00
gradlew	Convert the Android source code to the directory structure of a Gradle-based Android Studio project.	2015-05-02 21:49:17 -04:00
gradlew.bat	Convert the Android source code to the directory structure of a Gradle-based Android Studio project.	2015-05-02 21:49:17 -04:00
settings.gradle	Convert the Android source code to the directory structure of a Gradle-based Android Studio project.	2015-05-02 21:49:17 -04:00