From c9ff7bdb61efb1609876abdc40fab9a2ddc06f94 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 18 May 2026 11:19:22 -0400 Subject: remove flag type and add .mask to int --- mkdocs.yml | 1 - 1 file changed, 1 deletion(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index b5f7d1d..48a4b47 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -14,7 +14,6 @@ nav: - Alias: 'type_system/alias.md' - Unique: 'type_system/unique.md' - Enum: 'type_system/enum.md' - - Flag: 'type_system/flag.md' - Int: 'type_system/int.md' - Float: 'type_system/float.md' - Tuple: 'type_system/tuple.md' -- cgit v1.2.3