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 /html/Ocean.std-theme/plus.gif | |
| parent | f279f1be8f554dcb1744be1e722e14e36a0581ff (diff) | |
Use flattenExtensionFlags with ghc >= 6.13 only
Diffstat (limited to 'html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions