diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-18 11:47:17 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-18 11:47:17 +0000 |
commit | de3b07ea3448cc045b7580f8bc24d577aa2b893d (patch) | |
tree | ece2d14b8da9a20e1ded4c11c232c3cc683244f3 /Build/source/texk/ptexenc | |
parent | 9d827978085ba371a330057c97facb96a22581fd (diff) |
TeX: Stricter checking in triptest
git-svn-id: svn://tug.org/texlive/trunk@32711 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/ptexenc')
0 files changed, 0 insertions, 0 deletions