chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b72fa0d a6e8579)
Merge branch 'base-image' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 29 Mar 2016 16:53:51 +0000 (16:53 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 29 Mar 2016 16:53:51 +0000 (16:53 +0000)
CI: Use the new base image

Lighter, since it doesn't include all the stuff required to build and
test the client that we don't need here.

See merge request !116


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