From be424041a9dae43dcb7be170b61c3a568013bf2e Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 11 May 2026 17:49:27 -0400 Subject: add control template --- mkdocs.yml | 1 + 1 file changed, 1 insertion(+) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index 349cd0f..3576a95 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -36,5 +36,6 @@ 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