Skip to content

Minor changes to the new build system.

Markus Scheidgen requested to merge build-system-minor-changes into develop

I tried the new system, e.g. recreated my dev setup with the current develop. A few small things came up in the process. See review threads.

Merge request reports