Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit e8fae1d

Browse files
committedAug 1, 2023
fix some links
1 parent 5cd7dae commit e8fae1d

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed
 

‎wip/memory-interface.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
This file [moved](https://github.com/RalfJung/minirust/blob/master/mem/interface.md)
1+
This file [moved](https://github.com/RalfJung/minirust/blob/master/spec/mem/interface.md)

‎wip/value-domain.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
This file [moved](https://github.com/RalfJung/minirust/blob/master/lang/values.md).
1+
This file [moved](https://github.com/RalfJung/minirust/blob/master/spec/lang/values.md).

0 commit comments

Comments
 (0)
Please sign in to comment.