users-guide: Fix -rtsopts default
[ghc.git] / hadrian /
drwxr-xr-x   ..
-rw-r--r-- 272 .ghci
-rw-r--r-- 390 .gitignore
-rw-r--r-- 1075 LICENSE
-rw-r--r-- 12940 README.md
-rw-r--r-- 93 build.bat
-rw-r--r-- 1197 build.cabal.bat
-rwxr-xr-x 1004 build.cabal.sh
-rwxr-xr-x 112 build.sh
-rw-r--r-- 213 build.stack.bat
-rwxr-xr-x 60 build.stack.nix.sh
-rwxr-xr-x 226 build.stack.sh
-rw-r--r-- 49 cabal.project
drwxr-xr-x - cfg
-rw-r--r-- 91 ci.project
drwxr-xr-x - doc
-rwxr-xr-x 250 ghci.sh
-rw-r--r-- 6428 hadrian.cabal
drwxr-xr-x - src
-rw-r--r-- 847 stack.yaml