Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
test-normalizer.sed
Find file
Blame
History
Permalink
update test-normalizer: remove old cruft, add Ltac2 printing change
· 8a496af1
Ralf Jung
authored
Feb 20, 2024
8a496af1