Make most extensions default, minor clean up
[hadrian.git] / src / Settings /
drwxr-xr-x   ..
drwxr-xr-x - Builders
-rw-r--r-- 9770 Default.hs
-rw-r--r-- 612 Default.hs-boot
drwxr-xr-x - Flavours
-rw-r--r-- 528 Install.hs
drwxr-xr-x - Packages
-rw-r--r-- 9121 Path.hs