JosJuice 5ed0cf8e0e Rename GameSettingsDialog to GamePropertiesDialog ...

Since it no longer only contains settings.

2019-11-23 17:48:42 +01:00

..

app

Rename GameSettingsDialog to GamePropertiesDialog

2019-11-23 17:48:42 +01:00

gradle/wrapper

Bumps compile API to 29 (Q) removes unecessary casts and deprecated

2019-11-22 13:17:37 -03:00

jni

Merge pull request #8456 from jordan-woyak/input-gate-race-fix

2019-11-11 10:59:49 +10: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

Bumps compile API to 29 (Q) removes unecessary casts and deprecated

2019-11-22 13:17:37 -03:00

code-style-java.xml

Update code style file, remove old style .jar

2018-08-26 21:32:56 -07:00

gradle.properties

Bumps compile API to 29 (Q) removes unecessary casts and deprecated

2019-11-22 13:17:37 -03: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