Julian Ospald 6047614a16 Be less confusing when user tries to 'set' ghcup in TUI ... Fixes #923		2023-11-12 17:36:00 +08:00
..
ghcup	Be less confusing when user tries to 'set' ghcup in TUI	2023-11-12 17:36:00 +08:00