Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
Makefile
Find file
Blame
History
Permalink
make the Makefile compile the library correctly, and automatically find all the files
· a11974b2
Ralf Jung
authored
Feb 24, 2015
a11974b2