Skip to content

[doc] Fix links to doc files

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

Merge request reports