Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
Makefile
Find file
Blame
History
Permalink
add target "make lib" to build only the library
· 6e7d84ad
Ralf Jung
authored
Mar 24, 2015
6e7d84ad