chiark / gitweb /
Fix --android-home in 'fdroid init' when ANDROID_HOME is set