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/Ocean.std-theme/minus.gif | |
| parent | b5468c4ac6ef55b1ee3bcfb33a0f79f3e066126f (diff) | |
Add --print-ghc-path.
Diffstat (limited to 'html/Ocean.std-theme/minus.gif')
0 files changed, 0 insertions, 0 deletions