Hans-Christoph Steiner 721b3b79a6 buildserver: extract NDK rather than executing it ... Then the NDK archive doesn't need execute permissions.		2016-06-15 15:26:35 +02:00
..
cookbooks	buildserver: extract NDK rather than executing it	2016-06-15 15:26:35 +02: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