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
..
GHCup	Remove the "show all tool" config	2023-11-18 18:55:06 +08:00
GHCup.hs	Fix prefetch for cross bindists	2023-11-12 18:21:49 +08:00