Hans-Christoph Steiner 90f547eb5d update buildserver debian packages for py3

2016-03-15 20:04:50 +01:00

..

cookbooks

update buildserver debian packages for py3

2016-03-15 20:04:50 +01:00

.gitignore

Much better build server provisioning

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

config.buildserver.py

config.buildserver.py: use new java_paths keys

2016-02-23 12:26:00 +00:00

fixpaths.sh

Work in progress on integrating build server

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