chiark / gitweb /
Fix buildserver build_tools version
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 11 Mar 2014 16:37:42 +0000 (17:37 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 11 Mar 2014 16:37:42 +0000 (17:37 +0100)
commit13c79e8e46490a3f005c5989d0ee9f8828cab399
treea9df166cd70fdf33cf0e89f4d094f56c566c8eaf
parent7f1acadaf1caa3e0aa19cd34e67b995ef18f2010
Fix buildserver build_tools version
buildserver/config.buildserver.py