diff options
author | David Waern <david.waern@gmail.com> | 2008-08-11 18:56:37 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-08-11 18:56:37 +0000 |
commit | b4389f73ccd9ff5d2f379276e8ff3967f1b528be (patch) | |
tree | 6924a7d5450ca9c81447ef3d513cd6802e8676cf /tests/output/Bug4.html.ref | |
parent | d3f63f3ffb83a4684836a1aa9c0168ccb93d73e9 (diff) |
Doc: say that the --hoogle option is functional
Diffstat (limited to 'tests/output/Bug4.html.ref')
0 files changed, 0 insertions, 0 deletions