Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
Makefile.coq.local
Find file
Blame
History
Permalink
Mac's diff seems to be from the last century and can't do colors. Oh well.
· 0ea6c627
Ralf Jung
authored
May 25, 2018
0ea6c627