Lukas Wirth ba61766217 Add config for preferring / ignoring prelude modules in find_path		2023-11-11 14:56:38 +01:00
..
dev	chore: fix urls in guide.md	2023-10-30 19:40:24 +01:00
user	Add config for preferring / ignoring prelude modules in find_path	2023-11-11 14:56:38 +01:00