chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5117562 3879083)
Merge branch 'ci-bump' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 5 May 2016 11:14:27 +0000 (11:14 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 5 May 2016 11:14:27 +0000 (11:14 +0000)
CI: Bump image

This is basically just an SDK update. We're now using the tools zip,
which is about 200MB smaller. Not entirely sure why, but things still
work.

See merge request !123


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