chiark / gitweb /
~ianmdlvl / fdroidserver.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'mr/update_platforms_tools' into 'master'
2017-08-27 Marcus HoffmannMerge branch 'mr/update_platforms_tools' into 'master'
 commit | commitdiff | tree
2017-08-16 Marcus Hoffmannmakebuildserver: update platform and build tool releases
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.