Jochen Sprickerhof 2fa518a38f Revert "Merge branch 'patch-2' into 'master'" ...

This reverts merge request !1814

2026-05-01 17:51:56 +02:00

..

.gitignore

…

Dockerfile

…

provision-android-ndk

…

provision-android-sdk

…

provision-apt-get-install

buildserver: fix grub-pc install

2026-05-01 17:42:10 +02:00

provision-apt-proxy

…

provision-buildserverid

…

provision-disable-analytics

…

provision-gradle

…

setup-env-vars

Revert "Merge branch 'patch-2' into 'master'"

2026-05-01 17:51:56 +02:00

Vagrantfile

…