summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pooltype.ch
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2008-02-07 08:23:28 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2008-02-07 08:23:28 +0000
commit0a189bdfc2d125fb1ff94e9e50f8b4a932bfc9fb (patch)
tree8ff33ca7f8f5341569c4dddf2a2e4248cb7b0d15 /Build/source/texk/web2c/pooltype.ch
parentdb610e01cf7c9090b186ef4fcdd2c4276146591d (diff)
stricter sed syntax
git-svn-id: svn://tug.org/texlive/trunk@6516 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pooltype.ch')
0 files changed, 0 insertions, 0 deletions