diff options
author | David Waern <david.waern@gmail.com> | 2011-10-27 00:15:03 +0200 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2011-10-27 00:15:03 +0200 |
commit | 3fb4785801a61cc591bbd49d77bf990af68bb8f3 (patch) | |
tree | d2ee5d39af35f6def26dea6ca9d6372fac80925c /html/Classic.theme/plus.gif | |
parent | b5468c4ac6ef55b1ee3bcfb33a0f79f3e066126f (diff) |
Add --print-ghc-path.
Diffstat (limited to 'html/Classic.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions