Skip to content

Fixes for super-project build

Marco Clemencic requested to merge fixes-for-super-project into master

these are minor configuration fixes needed to be able to build Boole within a super-project

/cc @rmatev

Merge request reports