Skip to content
Snippets Groups Projects
Commit 3ebd31de authored by lukas leufen's avatar lukas leufen
Browse files

added check, if compile options have been set or not, and run compile option... 

added check, if compile options have been set or not, and run compile option check, if it hasn't been set
parent 95226859
No related branches found
No related tags found
3 merge requests!146Develop,!145Resolve "new release v0.12.0",!142check, if compile options have been set or not
Pipeline #43803 passed
Stage: test
Stage: docs
Stage: pages
Stage: deploy