diff options
author | David Waern <david.waern@gmail.com> | 2010-08-29 17:46:23 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-08-29 17:46:23 +0000 |
commit | 06b46e0085741d0c84aedc32de15251785eeceb2 (patch) | |
tree | 2842c189f4ecbd7447b7dfb4180e06ca80730aa6 /examples/hide-bug/A.hs | |
parent | f279f1be8f554dcb1744be1e722e14e36a0581ff (diff) |
Use flattenExtensionFlags with ghc >= 6.13 only
Diffstat (limited to 'examples/hide-bug/A.hs')
0 files changed, 0 insertions, 0 deletions