Daniel Martí a50e6dbfbd Update sdk and build-tools

2014-06-11 22:48:12 +02:00

..

cookbooks

Update sdk and build-tools

2014-06-11 22:48:12 +02:00

.gitignore

Much better build server provisioning

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

config.buildserver.py

Update sdk and build-tools

2014-06-11 22:48:12 +02:00

fixpaths.sh

Work in progress on integrating build server

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