Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
iris_unsafe.v
Find file
Blame
History
Permalink
Changed validity character to ↓ due to font problems.
· 41576e6e
David Swasey
authored
Feb 19, 2015
(I've seen ↓a before for validity, …)
41576e6e