diff options
| author | David Waern <david.waern@gmail.com> | 2010-11-14 23:48:17 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-11-14 23:48:17 +0000 |
| commit | f2793e03da6a8ac3f44669ba77bf712cd32a2296 (patch) | |
| tree | 67e299c0b59ec45369db6255228c640d544c17ab /latex | |
| parent | 80e209d33aa111f3be0a00e6abb44e318f3019d5 (diff) | |
Require ghc >= 7.0
Diffstat (limited to 'latex')
0 files changed, 0 insertions, 0 deletions