Julian Ospald cafedd73a2 Use Settings to avoid querying dirs every time		2020-08-10 21:52:30 +02:00
..
ghcup	Use Settings to avoid querying dirs every time	2020-08-10 21:52:30 +02:00
ghcup-gen	Use Settings to avoid querying dirs every time	2020-08-10 21:52:30 +02:00