Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
docs
iris.tex
Find file
Blame
History
Permalink
make changelog URL readable even on printed version
· 9b2c6308
Ralf Jung
authored
Jun 05, 2019
9b2c6308