Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
tests
proofmode.v
Find file
Blame
History
Permalink
improve linebreak tests so that they do not rely on infix rendering
· bf0b4bd4
Ralf Jung
authored
Jun 06, 2018
bf0b4bd4