WIP: Renaming the option in CI too
Description
Description
Details
Details
- Committed
richart Jan 28 2019, 00:52 - Pushed
richart Jan 28 2019, 00:58 - Parents
- rMUSPECTRE02715ad30a63: WIP: trying to correct for the ci that does not seam to follow cmake…
- Branches
- Unknown
- Tags