chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e3f60e2 8106d4f)
Merge branch 'faster-ci' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 28 Feb 2016 13:35:57 +0000 (13:35 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 28 Feb 2016 13:35:57 +0000 (13:35 +0000)
CI: Install Android SDK only if necessary

See merge request !106


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.