diff options
author | Karl Berry <karl@freefriends.org> | 2016-04-12 20:54:42 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-04-12 20:54:42 +0000 |
commit | b1eb290286cd05f877d670745f5737129e185c64 (patch) | |
tree | 416f46c865c336bfdead3eb21775686dbf60fec4 /Build/source/texk/web2c | |
parent | 1bcd33ae48306d4b350a8577ee022c04492d54d8 (diff) |
(badlinks): discard stderr from svn propget since svn uselessly
warns if the property is not set.
git-svn-id: svn://tug.org/texlive/trunk@40474 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c')
0 files changed, 0 insertions, 0 deletions