summaryrefslogtreecommitdiff
path: root/contrib/subtac/subtac_coercion.ml
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2006-04-30 14:17:58 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2006-04-30 14:17:58 +0000
commitfe730babfe0c01baa6c6da62460938f8839aa7c6 (patch)
tree4ac518992a083315ee0db9a0c211235182012609 /contrib/subtac/subtac_coercion.ml
parent8d68c744369bd248748f10927f01b054595d102c (diff)
Correct the FTBFS because of LaTeX.debian/8.0pl3+8.1alpha-2
Diffstat (limited to 'contrib/subtac/subtac_coercion.ml')
0 files changed, 0 insertions, 0 deletions