Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
Makefile
Find file
Blame
History
Permalink
avoid leaving empty Makefile.coq if coq_makefile fails
· 6f9c094e
Ralf Jung
authored
Nov 22, 2016
6f9c094e