Markus Wick 4a124868d6 Merge pull request #6034 from JonnyH/WIP/fix-android-null-SettingsSection-crash ... Fix some Android UI crashes opening 'settings' menus		2017-09-10 11:11:51 +02:00
..
src	Merge pull request #6034 from JonnyH/WIP/fix-android-null-SettingsSection-crash	2017-09-10 11:11:51 +02:00
.gitignore
build.gradle	build.gradle: do not change the output filename, our CI relies on it	2017-05-20 05:54:55 +02:00
proguard-rules.pro