chiark / gitweb /
Fix --android-home in 'fdroid init' when ANDROID_HOME is set
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 16 Sep 2014 22:20:37 +0000 (00:20 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 16 Sep 2014 22:20:37 +0000 (00:20 +0200)
commit2397c13d306386e23c8847cf9dcddf6c1be7de97
treeff4b8b837794b9bd02e7e477fb05c51957ef83a9
parent9327adfe74d850bd0b0f329b3310a905e2d9bf15
Fix --android-home in 'fdroid init' when ANDROID_HOME is set
fdroidserver/init.py