made the dev_doc target and the test compilation optional
Description
Description
Details
Details
- Committed
junge Mar 14 2018, 16:50 - Pushed
junge Mar 14 2018, 16:51 - Parents
- rMUSPECTRE3b781c4548aa: amended the dependencies in the documenatation
- Branches
- Unknown
- Tags