Only if PROJECT_IS_TOP_LEVEL use project_options#139

dietmarkuehl merged 1 commit intobemanproject:mainbemanproject/execution:mainfrom

ClausKlein:feature/prevent-use-of-project-optionsClausKlein/execution:feature/prevent-use-of-project-optionsCopy head branch name to clipboard