chiark / gitweb /
Forgot to update config.buildserver.py
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 15 Aug 2013 10:20:35 +0000 (12:20 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 15 Aug 2013 10:20:35 +0000 (12:20 +0200)
commite415db9d2ced4d4e58f535433f3cd3ae62d3cbd4
tree619b045d4f8a020bca5186be64a28f0768eb9c57
parent990321d33d164c5427c3c95184df9544eeebf943
Forgot to update config.buildserver.py
config.buildserver.py