Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
Makefile
Find file
Blame
History
Permalink
better hack for removing stale .vo files on 'make install' use sed to patch Makefile directly
· d528b812
Ralf Jung
authored
Nov 16, 2016
d528b812