change option name
tree92ba16404a3384b9a6d1ec6dd85da780d28dfe94
-rw-r--r-- 402 .gitignore
-rw-r--r-- 2819 .travis.yml
drwxr-xr-x - Cabal
-rw-r--r-- 4351 HACKING.md
-rw-r--r-- 1601 LICENSE
-rw-r--r-- 573 README.md
drwxr-xr-x - cabal-install
-rw-r--r-- 7 ghc-packages
-rwxr-xr-x 1450 setup-dev.sh
-rw-r--r-- 696 stack.yaml