diff options
author | David Waern <david.waern@gmail.com> | 2008-10-10 22:35:49 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-10-10 22:35:49 +0000 |
commit | 769bfb301703d5d028d91189744f41ddef144854 (patch) | |
tree | d31118ad33e0e2f79ad499ae58e78e59fb8d058d /html/plus.gif | |
parent | f09d71c5d9174bf6bf8f107fa57fd435132dd18a (diff) |
Add support for DocPic
The support for DocPic was merged into the GHC source long ago,
but the support in Haddock was forgotten. Thanks Peter Gavin for
submitting this fix!
Diffstat (limited to 'html/plus.gif')
0 files changed, 0 insertions, 0 deletions