JosJuice 8ce25769d7 Merge pull request #8803 from Ebola16/ANDROID ... Android: Android INI section and make platform tab selection an INI setting		2020-06-21 13:49:56 +02:00
..
app
gradle/wrapper
jni
.gitignore
build.gradle
code-style-java.xml
gradle.properties
gradlew
gradlew.bat
settings.gradle