Julian Ospald
7383fdd0c0
Also make sure we don't print the warning message 20 times, so avoid some repeated IO. |
||
---|---|---|
.. | ||
ghcup | ||
ghcup-gen |
Julian Ospald
7383fdd0c0
Also make sure we don't print the warning message 20 times, so avoid some repeated IO. |
||
---|---|---|
.. | ||
ghcup | ||
ghcup-gen |