chiark / gitweb /
Merge branch 'update-vagrantfile' into 'master'
[fdroidserver.git] / buildserver / config.buildserver.py
2014-11-07 Ciaran GultnieksMerge branch 'update-vagrantfile' into 'master'
2014-10-23 Daniel MartíForgot to bump the build tools in the server config
2014-06-30 Daniel MartíUpdate build-tools to 20.0.0
2014-06-11 Daniel MartíUpdate sdk and build-tools
2014-03-11 Daniel MartíFix buildserver build_tools version
2014-02-23 Daniel MartíUpdate build-tools to 19.0.2
2014-02-17 Daniel MartíMove config.buildserver.py into buildserver subdir