Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!350
[doc] Fix links to doc files
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tej Chajed
requested to merge
tchajed/iris-coq:fix-doc-links
into
master
Dec 19, 2019
Overview
12
Commits
4
Pipelines
0
Changes
5
Expand
Fixes
#281 (closed)
.
Fixes the link text in a couple places to match the new file name.
Edited
Dec 19, 2019
by
Tej Chajed
Merge request reports