diff options
author | 2006-04-30 14:17:58 +0000 | |
---|---|---|
committer | 2006-04-30 14:17:58 +0000 | |
commit | fe730babfe0c01baa6c6da62460938f8839aa7c6 (patch) | |
tree | 4ac518992a083315ee0db9a0c211235182012609 /kernel/type_errors.ml | |
parent | 8d68c744369bd248748f10927f01b054595d102c (diff) |
Correct the FTBFS because of LaTeX.debian/8.0pl3+8.1alpha-2
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions