diff options
author | Luite Stegeman <stegeman@gmail.com> | 2014-08-20 05:42:45 +0200 |
---|---|---|
committer | Luite Stegeman <stegeman@gmail.com> | 2014-08-22 20:46:45 +0200 |
commit | a18e080534a2778f37cb8ff9d501959fe6cc7acd (patch) | |
tree | 71eca80a7b76e7f2737c95334ba72a85acf6bad6 /doc | |
parent | 259b2a9d821716a4e0ad5a1ea595576bac077daa (diff) |
export things to allow customizing how the Ghc session is run
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions