Skip to content
Snippets Groups Projects
Commit f6ec3fe0 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Update _CoqProject flags.

parent 47721dd5
Branches
No related tags found
No related merge requests found
Pipeline #21763 failed
Stage: build