Hans-Christoph Steiner 980339d2f5 make all apt repos in build server use the configured debian mirror

2016-01-26 11:31:40 +01:00

..

cookbooks

make all apt repos in build server use the configured debian mirror

2016-01-26 11:31:40 +01:00

.gitignore

Much better build server provisioning

2013-05-31 07:48:39 +01:00

config.buildserver.py

Fix buildserver debian stable java paths

2015-11-07 18:23:30 +01:00

fixpaths.sh

Work in progress on integrating build server

2012-02-03 16:01:35 +00:00