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 /doc/config.mk.in | |
| parent | d3f63f3ffb83a4684836a1aa9c0168ccb93d73e9 (diff) | |
Doc: say that the --hoogle option is functional
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions