chiark / gitweb /
Fix buildserver debian stable java paths
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 7 Nov 2015 17:23:30 +0000 (18:23 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 7 Nov 2015 17:23:30 +0000 (18:23 +0100)
commit87c7da03ee2880d2fb395e65793860ae528a222d
tree5f284251657d14188cbf8ed3ea8acebdca8317e7
parentf3497553e79a8b419aa91845b8d8e2b757cfbccf
Fix buildserver debian stable java paths
buildserver/config.buildserver.py