diff options
| author | David Waern <david.waern@gmail.com> | 2010-11-15 21:35:31 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-11-15 21:35:31 +0000 |
| commit | efb2c8cc248ac2e06829939d8f3b1f921128bbb7 (patch) | |
| tree | 426b1fe81a7cc0c6f22c74f73125c670b5b61bdd /html/Ocean.std-theme | |
| parent | 84862235d051b21b1ca40af5da83b3aad918989a (diff) | |
Just say "internal error" instead of "internal Haddock or GHC error"
Diffstat (limited to 'html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions