Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!427
Fixed a spacing issue in metatheory.v
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jonas Kastberg
requested to merge
jihgfee/iris-coq:jonas/spacing_nit
into
master
Apr 15, 2020
Overview
2
Commits
3
Pipelines
0
Changes
1
Expand
A double spacing nit found in
metatheory.v
that was bugging me.
Merge request reports