diff options
author | David Waern <david.waern@gmail.com> | 2010-05-13 11:53:02 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-05-13 11:53:02 +0000 |
commit | f0de0a320f6f5856583d4356883db106f7158f51 (patch) | |
tree | 3d75f78e08f617f48d0ab177e8d728ce9d65ef65 /doc/docbook-xml.mk | |
parent | 2d3dea83b944442cc775fe8f6122d657174dcc9b (diff) |
Fix build with GHC 6.12.2
Diffstat (limited to 'doc/docbook-xml.mk')
0 files changed, 0 insertions, 0 deletions