Minor revision
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 7 Jan 2017 22:40:55 +0000 (22:40 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 7 Jan 2017 22:40:55 +0000 (22:40 +0000)
commit12aa4ef0c4e6f8e0a89f2aa899d66a42ac2e3eb9
tree68b7a17772e69b8562dde158d141af1930e1d710
parentc27e8cbe776256e9698957c1c3dda4a62b185bbe
Minor revision
src/Settings/Default.hs
src/Settings/Flavours/Quick.hs
src/Settings/Flavours/Quickest.hs