chiark / gitweb /
Add some makebuildserver options
authorCiaran Gultnieks <ciaran@ciarang.com>
Sun, 20 Oct 2013 20:16:42 +0000 (21:16 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Sun, 20 Oct 2013 20:16:42 +0000 (21:16 +0100)
commit831646dea2c36892078b5de13de7c62906873f27
tree59dc78a09e6b94c29dedac0637a683e98807a3e4
parenta403d102128f46be0d9933581d26ab1f63a7173e
Add some makebuildserver options
makebuildserver.py