Julian Ospald 2783b8f693 Fix 'ghcup install hls -u' on windows ... Fixes #716		2023-01-02 20:38:58 +08:00
..
GHCup	Fix 'ghcup install hls -u' on windows	2023-01-02 20:38:58 +08:00
BrickMain.hs	Improve postRm message, fixes #384	2022-12-20 22:20:10 +08:00
Main.hs	Improve upgrade warning wrt #414	2022-12-20 21:49:26 +08:00