chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 794e443 6966683)
Merge branch 'mr/update_platforms_tools' into 'master'
authorMarcus Hoffmann <bubuiic@aol.com>
Sun, 27 Aug 2017 19:41:16 +0000 (19:41 +0000)
committerMarcus Hoffmann <bubuiic@aol.com>
Sun, 27 Aug 2017 19:41:16 +0000 (19:41 +0000)
makebuildserver: update platform and build tool releases

See merge request !317


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