chiark / gitweb /
Some more wip on build server integration
authorCiaran Gultnieks <ciaran@ciarang.com>
Sat, 18 Feb 2012 10:38:49 +0000 (10:38 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Sat, 18 Feb 2012 10:38:49 +0000 (10:38 +0000)
commitf88f5b740430906b93aa2b4080caad2221a9660a
treebeb1172b96941dcf356778f5ba0e9c33bdb568e3
parent9ed02069b84ff73a26af83012802f7714b266781
Some more wip on build server integration
build.py