Skip to content

Commit

Permalink
Update books
Browse files Browse the repository at this point in the history
  • Loading branch information
ehuss committed Jun 26, 2023
1 parent 6f8c27a commit 20c46f0
Show file tree
Hide file tree
Showing 5 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion src/doc/book
2 changes: 1 addition & 1 deletion src/doc/nomicon
Submodule nomicon updated 2 files
+12 −12 src/phantom-data.md
+199 −275 src/subtyping.md
2 changes: 1 addition & 1 deletion src/doc/reference

0 comments on commit 20c46f0

Please sign in to comment.