codex: Remove redundant Router

This commit is contained in:
2026-01-13 14:23:56 +01:00
parent 4f879252a0
commit 6c20b01cc2

View File

@@ -30,7 +30,7 @@ type private NavTab =
| _ -> Index
member this.ToPath () =
[this.ToString ()] |> Router.Router.format
[this.ToString ()] |> Router.format
static member FromPath path =
match path with