Remove useless code

2023-03-26 23:09:16 +01:00
parent 55e0b2217f
commit 7a36b69818
5 changed files with 17 additions and 72 deletions
@@ -86,7 +86,6 @@ data DebugBool
    | Show_walls_near_point_cursor
    | Show_walls_near_point_you
    | Show_zone_near_point_cursor
-    | Show_select
    | Inspect_wall
    | Show_nodes_near_select
    | Show_path_between