Skip to content
GitLab
Explore
Sign in
Iris
string-ident
Repository
string-ident
opam
Find file
Blame
History
Permalink
Remove Ltac2 from the name
· 4410c1d3
Tej Chajed
authored
Mar 25, 2020
4410c1d3