Skip to content
Snippets Groups Projects
Verified Commit 37976ee4 authored by Lennard Gäher's avatar Lennard Gäher
Browse files

fix coqproject

parent de6a6bc5
No related branches found
No related tags found
No related merge requests found
Pipeline #113026 failed
Stage: build