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