Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
theories
base_logic
lib
boxes.v
Find file
Blame
History
Permalink
Typo typo.
· 061e8d6a
Robbert Krebbers
authored
May 31, 2018
Thanks to
@dfrumin
.
061e8d6a