We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b8874ea commit ab588b7Copy full SHA for ab588b7
Documentation/dev-tools/lkmm/docs/herd-representation.rst
@@ -3,7 +3,7 @@
3
herd-representation
4
-------------------
5
6
-Literal include of ``tools/memory-model/Documentation/herd-representation``.
+Literal include of ``tools/memory-model/Documentation/herd-representation.txt``.
7
8
------------------------------------------------------------------
9
0 commit comments