From 8f7ba4d80830e1a8fec4d8a7d9d7fa39f8ff7ef1 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 11 May 2026 18:11:15 -0400 Subject: op for all actions --- mkdocs.yml | 1 - 1 file changed, 1 deletion(-) (limited to 'mkdocs.yml') 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' -- cgit v1.2.3