Daniel Martí 7842b08f40 Download platforms via makebuildserver		2015-11-20 12:21:31 -08:00
..
cookbooks	Download platforms via makebuildserver	2015-11-20 12:21:31 -08: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