diff options
| author | David Waern <david.waern@gmail.com> | 2008-08-13 21:43:58 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-08-13 21:43:58 +0000 |
| commit | befdccf529dcb60d5f2a909e308b85c958e6100e (patch) | |
| tree | e8f9e917977bd5394b16629eac3d80add9b1a554 /html/minus.gif | |
| parent | 8af2688ea2de3172a7ef6d91b47d2a78fd365916 (diff) | |
Add __GHC_PATCHLEVEL__ symbol also when building the library
Diffstat (limited to 'html/minus.gif')
0 files changed, 0 insertions, 0 deletions