Martin Kroeker a8f42ae85c set cmake build type to Release		2020-06-03 15:28:59 +02:00
..
workflows	set cmake build type to Release	2020-06-03 15:28:59 +02:00