diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-04-30 14:17:58 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-04-30 14:17:58 +0000 |
| commit | fe730babfe0c01baa6c6da62460938f8839aa7c6 (patch) | |
| tree | 4ac518992a083315ee0db9a0c211235182012609 /man/coqwc.1 | |
| parent | 8d68c744369bd248748f10927f01b054595d102c (diff) | |
Correct the FTBFS because of LaTeX.debian/8.0pl3+8.1alpha-2
Diffstat (limited to 'man/coqwc.1')
0 files changed, 0 insertions, 0 deletions