diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-10 10:21:32 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-10 10:21:32 -0400 |
| commit | aebce1e48e81559ffe5f496af855a1140d8e0107 (patch) | |
| tree | 4ae6a60e627e26a8cf748fef80de8929ddd2e83e /mkdocs.yml | |
| parent | 2ed2fbbc6f233f8aedf14e5d064451c3dea90d87 (diff) | |
rename shared qualifier to gc
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -25,7 +25,7 @@ nav: - Const: 'type_system/const.md' - Empty: 'type_system/empty.md' - Ref: 'type_system/ref.md' - - Shared: 'type_system/shared.md' + - Gc: 'type_system/gc.md' - Var: 'type_system/var.md' - Function: 'type_system/function.md' - Task: 'type_system/task.md' |
