- Oct 02, 2020
-
-
Timo Koch authored
-
- Apr 27, 2020
-
-
Martin Schneider authored
-
- Apr 01, 2020
-
-
Martin Schneider authored
-
- Mar 17, 2020
-
-
Timo Koch authored
-
- Jul 31, 2019
-
-
Timo Koch authored
-
- Dec 18, 2018
-
-
Martin Schneider authored
-
- Dec 04, 2018
-
-
Timo Koch authored
One less file to take care of. Switching between release and debug opts can simply be done by changing one flag (documented in cmake.opts)
-