Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
INSTALLATION.md
Find file
Blame
History
Permalink
Fix the build instructions in INSTALLATION.md
· 8ba21d36
POTTIER Francois
authored
Jun 13, 2018
so that they work also in the presence of GNUmakefile.
8ba21d36