Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
configure
Find file
Blame
History
Permalink
remove the generated Makefile, add a configure script generating it instead
· d543c264
Ralf Jung
authored
Jan 21, 2016
d543c264