diff options
| author | David Waern <david.waern@gmail.com> | 2012-02-01 02:56:56 +0100 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2012-02-01 02:56:56 +0100 |
| commit | 89fee20b81f69e08f62de3be285fbee17e83bfea (patch) | |
| tree | 5759296727d9a2bc6c5b7f738176eacec3d7cf72 /html/Ocean.std-theme/plus.gif | |
| parent | 527a0adf3fe43d91221ec51ffb5a6af83d56e7d3 (diff) | |
Require ghc >= 7.4.
Diffstat (limited to 'html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions