Hans-Christoph Steiner bd51b2e99f build: read VM CPUs/RAM from builder/Vagrantfile ... makebuildserver.config.py is no more, builder/Vagrantfile is now where the CPU and memory is configured for the buildserver VM. In fact, that was always the actual place, the makebuildserver.config.py thing was just confused. This should have been part of !1222		2022-11-15 08:57:41 +01:00
..
Vagrantfile	build: read VM CPUs/RAM from builder/Vagrantfile	2022-11-15 08:57:41 +01:00