Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
bi
plainly.v
Find file
Blame
History
Permalink
Drop line break
· f230165b
Paolo G. Giarrusso
authored
Dec 24, 2020
and
Robbert Krebbers
committed
Dec 24, 2020
https://gitlab.mpi-sws.org/iris/iris/-/wikis/style-guide
f230165b