diff options
| author | Thomas Schilling <nominolo@googlemail.com> | 2009-02-24 18:11:00 +0000 |
|---|---|---|
| committer | Thomas Schilling <nominolo@googlemail.com> | 2009-02-24 18:11:00 +0000 |
| commit | 6c73c9dff3f293360942a1c0f72e9604f99f5b38 (patch) | |
| tree | 218ca938c4f44f89ee560c3602462b92f1061495 /doc/fptools.css | |
| parent | d13ce5a2d38e9cc9a2415fb22eeb2e6c5f8000c6 (diff) | |
Define __GHC_PATCHLEVEL__ for recent version of GHC (stable).
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions