Julian Ospald 2caf491e9d Remove the "show all tool" config ... We show all tools at the moment anyway.		2023-11-18 18:55:06 +08:00
..
BrickMain.hs	Remove the "show all tool" config	2023-11-18 18:55:06 +08:00
Main.hs	Remove the "show all tool" config	2023-11-18 18:55:06 +08:00