diff options
| author | David Waern <david.waern@gmail.com> | 2008-10-11 14:02:25 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-10-11 14:02:25 +0000 |
| commit | 7c54415a73ddb286d15aa9a1c4661d1313fc6da4 (patch) | |
| tree | dfd61ad9711fa1ded8806703c94c695c1bf5b36b /examples/hide-bug/D.hs | |
| parent | cfaa0f53428e19ae91d25ccd519e4b1cfdd83b8f (diff) | |
Remove interface from LinksInfo
It was there to know the documentation home module when creating
a wiki link, but we already know this since we have the DocName.
Diffstat (limited to 'examples/hide-bug/D.hs')
0 files changed, 0 insertions, 0 deletions