Skip to content
GitLab
Explore
Sign in
Marco
parseque
Repository
parseque
src
_CoqProject
Find file
Blame
History
Permalink
[ fix #1 ] _CoqProject for coq 8.7
· 27ef96b6
Guillaume Allais
authored
Dec 05, 2017
27ef96b6