krcroft 7fe6f7f04c Add -DNDEBUG to common release flags		2019-12-11 20:30:19 +01:00
..
scripts	Refactor and expand the CI workflows	2019-11-24 15:16:44 +01:00
workflows	Add -DNDEBUG to common release flags	2019-12-11 20:30:19 +01:00