Skip to content
GitLab

Enable tools by default on desktop. The time to build them is negligeable, and...

Merged Simon Morlat requested to merge fix/enable_tools into master

Enable tools by default on desktop. The time to build them is negligeable, and this is important that they are not broken by changes in the apis.