Marcus Hoffmann e1c547cfdf Revert "Revert "Merge branch 'random-fixes' into 'master'"" ... This reverts commit f6f2fb0b89. Only one of the included commit should have been reverted.		2019-01-10 14:48:29 +01:00
..
.gitignore	buildserver: buildserver/Vagrantfile is configed by .yaml file	2016-07-04 23:54:52 +02:00
config.buildserver.py	Add NDK r18b	2018-10-22 16:31:57 +00:00
provision-android-ndk	provision-ndk: set -x to see what it currently does	2018-11-28 20:46:44 +01:00
provision-android-sdk	provision-sdk: don't install obolete stuff	2018-11-28 20:47:09 +01:00
provision-apt-get-install	buildserver: disable all automatic apt-get updates	2018-12-12 17:38:26 +01:00
provision-apt-proxy	provisioners: work around apt-get update problem	2018-10-24 13:06:27 +02:00
provision-gradle	provision-gradle: skip versions older than 2.2.1	2018-11-27 17:34:53 +01:00
setup-env-vars	buildserver: always set DEBIAN_FRONTEND=noninteractive	2018-11-27 18:14:05 +01:00
Vagrantfile	Revert "Revert "Merge branch 'random-fixes' into 'master'""	2019-01-10 14:48:29 +01:00