diff options
| author | David Waern <davve@dtek.chalmers.se> | 2008-01-06 17:25:42 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2008-01-06 17:25:42 +0000 |
| commit | 6b993ddc068543347ae3fc387d82ad07fa520f0f (patch) | |
| tree | 8f1248527b1e51f97133010fb0300844d3e028ab /html/plus.gif | |
| parent | 134a6fd924dc0af95915984a4fa4f2b059170805 (diff) | |
Depend on ghc >= 6.8.2 && < 6.9
Diffstat (limited to 'html/plus.gif')
0 files changed, 0 insertions, 0 deletions