diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-11 18:11:15 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-11 18:11:15 -0400 |
| commit | 8f7ba4d80830e1a8fec4d8a7d9d7fa39f8ff7ef1 (patch) | |
| tree | 046fde27f1bbefe47e1d5691c264dbedd33e02ae /mkdocs.yml | |
| parent | be424041a9dae43dcb7be170b61c3a568013bf2e (diff) | |
op for all actions
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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' |
