Skip to content
GitLab

[doc] Fix links to doc files

Merged Tej Chajed requested to merge tchajed/iris-coq:fix-doc-links into master

Fixes #281 (closed).

Fixes the link text in a couple places to match the new file name.

Edited by Tej Chajed