Skip to content
GitLab
Explore
Sign in
stdpp
Makefile.coq.local
Find file
Blame
History
Permalink
move COQ_REF further up so it is easier to see
· d297a432
Ralf Jung
authored
Sep 11, 2024
d297a432
Ralf Jung authored