diff options
author | David Waern <david.waern@gmail.com> | 2010-08-29 17:32:36 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-08-29 17:32:36 +0000 |
commit | 1aa774f2b93e9895a3970fe12b70492ac128086d (patch) | |
tree | 24640604ffb79e0d6a9432b8855ea9b1de243b4d /latex | |
parent | e4a332d7f2a4e15cc80a28749ce9c83042fd7a5d (diff) |
Allow building with ghc < 6.16
Diffstat (limited to 'latex')
0 files changed, 0 insertions, 0 deletions