diff options
| author | David Waern <david.waern@gmail.com> | 2008-11-06 21:07:48 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-11-06 21:07:48 +0000 |
| commit | 54766d6f5205ea578c714625fe925e43f0336899 (patch) | |
| tree | 9085ece5450b5e90c85fadef8d0d480b07347922 /doc/fptools.css | |
| parent | 86ce4b4b535fe7ead47a4f2f1b6d142b6338b8a8 (diff) | |
Depend on base 4.* when using GHC >= 6.9, otherwise 3.*
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions