chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
88d369e
90d81eb
)
Merge branch 'makebuildserver-jenkins-fixes' into 'master'
author
Daniel Martí
<mvdan@mvdan.cc>
Tue, 26 Jan 2016 19:52:12 +0000
(19:52 +0000)
committer
Daniel Martí
<mvdan@mvdan.cc>
Tue, 26 Jan 2016 19:52:12 +0000
(19:52 +0000)
Makebuildserver jenkins fixes
more stuff related to the Debian jenkins build
See merge request !92
Trivial merge