Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
quicktest
config.sh
Find file
Blame
History
Permalink
Improve config.sh so that it works even if the Menhir executable has not been
· 643b92ab
POTTIER Francois
authored
Nov 03, 2015
built yet.
643b92ab