Skip to content
Snippets Groups Projects
Commit f9d06c7b authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Provided docroot in _CoqProject to avoid warnings

parent 8a2e9b26
No related branches found
No related tags found
No related merge requests found
Pipeline #117501 failed