diff options
| author | David Waern <david.waern@gmail.com> | 2012-02-04 03:48:55 +0100 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2012-02-04 03:48:55 +0100 |
| commit | b31252e0699a65a8e7d0168f012b58fde50c4b3d (patch) | |
| tree | bfc9bb18b9ec92714cfda36520f5bad16b195b90 /html/Ocean.std-theme/plus.gif | |
| parent | 46a65020cdbb8aee274e5ab3db68f51639e8d1b2 (diff) | |
Remove code for older ghc versions.
Diffstat (limited to 'html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions