Skip to content

cleanup branch

Thomas Laurent requested to merge cleanup-may-2020 into develop

Quite a lot of small issues and one new feature: support ninja to replace make

Merge request reports