summaryrefslogtreecommitdiff
path: root/contrib/subtac/subtac_classes.ml
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2007-02-13 17:07:17 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2007-02-13 17:07:17 +0000
commitd96021d8572d4e16facf14136bac604597deefba (patch)
treece446b3abd9445f9ad9e18c1421abc48ae4e9376 /contrib/subtac/subtac_classes.ml
parent63a8706144442ef2c7a0e0b2b42dda6a5d9ec7ec (diff)
Converted copyright to utf8.debian/8.1+dfsg-1
Diffstat (limited to 'contrib/subtac/subtac_classes.ml')
0 files changed, 0 insertions, 0 deletions