Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
opam
Find file
Blame
History
Permalink
Add opam to the repository, and change it to explicitly use Makefile,
· 72e3525c
POTTIER Francois
authored
Nov 10, 2015
so it works even if GNUmakefile is present.
72e3525c