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 /src/Haddock/Backends/DevHelp.hs | |
parent | 8af2688ea2de3172a7ef6d91b47d2a78fd365916 (diff) |
Add __GHC_PATCHLEVEL__ symbol also when building the library
Diffstat (limited to 'src/Haddock/Backends/DevHelp.hs')
0 files changed, 0 insertions, 0 deletions