diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-09-28 01:42:35 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-09-28 01:42:35 +0000 |
| commit | c96ecfcc2d38165957227dea5bc43f28c3a512c9 (patch) | |
| tree | d7d404416dbad8ca62bc7620faec8185df9d6eb7 /html/haddock-util.js | |
| parent | 10e47f35af686b7a2eaaf2b3422cf98d77734f1c (diff) | |
Fix building haddock when GhcProfiled=YES
Diffstat (limited to 'html/haddock-util.js')
0 files changed, 0 insertions, 0 deletions