diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-26 12:50:22 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-26 12:50:22 +0000 |
commit | 26ba2c24f5c830c1ec1bfc2c7c5cddeffcf517bd (patch) | |
tree | c8af41b4a5333fbbe732751800855fff3618029b /Build/source/texk/dvipsk | |
parent | 87a5433a5d0c6ae3fd53250bd9118bb43c938a31 (diff) |
build system: use a portable sed script and, if possible GNU sed
git-svn-id: svn://tug.org/texlive/trunk@18008 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk')
0 files changed, 0 insertions, 0 deletions