Daniel Martí 426d85d0b8 Bump build-tools version

2014-03-07 15:38:24 +01:00

..

cookbooks

Bump build-tools version

2014-03-07 15:38:24 +01:00

.gitignore

Much better build server provisioning

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

config.buildserver.py

Update build-tools to 19.0.2

2014-02-23 12:21:28 +01:00

fixpaths.sh

Work in progress on integrating build server

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