Replace shortcuts to issues by GitHub links
[hadrian.git] / src / Settings /
drwxr-xr-x   ..
drwxr-xr-x - Builders
-rw-r--r-- 7954 Default.hs
-rw-r--r-- 563 Default.hs-boot
drwxr-xr-x - Flavours
drwxr-xr-x - Packages