summaryrefslogtreecommitdiff
path: root/mkdocs.yml
diff options
context:
space:
mode:
authornodist <kevin.comas.git@gmail.com>2026-05-11 18:11:15 -0400
committernodist <kevin.comas.git@gmail.com>2026-05-11 18:11:15 -0400
commit8f7ba4d80830e1a8fec4d8a7d9d7fa39f8ff7ef1 (patch)
tree046fde27f1bbefe47e1d5691c264dbedd33e02ae /mkdocs.yml
parentbe424041a9dae43dcb7be170b61c3a568013bf2e (diff)
op for all actions
Diffstat (limited to 'mkdocs.yml')
-rw-r--r--mkdocs.yml1
1 files changed, 0 insertions, 1 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index 3576a95..349cd0f 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -36,6 +36,5 @@ nav:
- Name: 'type_system/name.md'
- Symbol: 'type_system/symbol.md'
- Op: 'type_system/op.md'
- - Control: 'type_system/control.md'
- List: 'type_system/list.md'
- Namespace: 'type_system/namespace.md'