Skip to content
Snippets Groups Projects
Commit 271fc060 authored by Hai Dang's avatar Hai Dang
Browse files

add gitignore for coq 8.10

parent c7cae6a1
No related branches found
No related tags found
No related merge requests found
Pipeline #23546 failed
Stage: build