diff options
author | Ian Lynagh <igloo@earth.li> | 2012-07-16 21:22:48 +0100 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2012-07-16 21:22:48 +0100 |
commit | 4dc9ecd3905f75adb6bcfb818fbc163c724d4545 (patch) | |
tree | 3a58f6e3fb296fa5625038b4a9ef2515a4f7637c /html/Ocean.std-theme | |
parent | 45f24c7fb08b66f4160e94216599be6594f02416 (diff) |
Fix haddock following some GHC changes
Passing _|_ as the Settings for defaultDynFlags no longer works well
enough
Diffstat (limited to 'html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions