diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-05-18 11:45:26 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-05-18 11:45:26 +0000 |
commit | 503e45680b5c53e46c436f0e0375c43e3896ce85 (patch) | |
tree | 549f65d0c8f16f24766d986fcbd92fcd3b11ea95 /Build/source/texk/web2c/ptexdir | |
parent | b4682625d44d173aec94889928fb35563309456d (diff) |
update
git-svn-id: svn://tug.org/texlive/trunk@18330 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/ptexdir')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptrip.diffs | bin | 9630 -> 9630 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptrip.diffs b/Build/source/texk/web2c/ptexdir/ptrip.diffs Binary files differindex 15f344a5fc7..ed0ac8098b4 100644 --- a/Build/source/texk/web2c/ptexdir/ptrip.diffs +++ b/Build/source/texk/web2c/ptexdir/ptrip.diffs |