Wed, 20 Mar 2019 21:57:02 +0100 | wenzelm | more robust reference to ghc exe (with multi-platform support); | changeset | files |
Wed, 20 Mar 2019 21:54:08 +0100 | wenzelm | more robust: allow empty root (e.g. via symlink); | changeset | files |
Wed, 20 Mar 2019 21:15:20 +0100 | wenzelm | avoid prompt; | changeset | files |