Skip to content
GitLab
Explore
Sign in
Register
Julien Lepiller
coquille
Repository
coquille
rplugin
python3
pycoqtop
projectparser.py
Find file
Blame
History
Permalink
Better error message when starting coq
· 6725d1bb
Julien Lepiller
authored
Jan 15, 2020
6725d1bb