Skip to content
Snippets Groups Projects
Commit 6f391374 authored by Christoph Junghans's avatar Christoph Junghans
Browse files

cmake: fix parallel build of doc

parent 89027883
No related branches found
No related tags found
1 merge request!31cmake: fix parallel build of doc
Pipeline #251416 passed