diff options
author | Karl Berry <karl@freefriends.org> | 2019-03-17 22:40:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-03-17 22:40:20 +0000 |
commit | 299e7fb14a08b756d937813e15d65755c7bbe9b3 (patch) | |
tree | 10616fba734a83edb425aecd088c6b754c1ee04c /Master/bin | |
parent | edb8e43d1180c684bfd3b6c2a8c2e95bdc4e9e45 (diff) |
do not use sh -e.
git-svn-id: svn://tug.org/texlive/trunk@50434 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin')
0 files changed, 0 insertions, 0 deletions