diff options
author | Karl Berry <karl@freefriends.org> | 2021-05-07 22:03:03 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-05-07 22:03:03 +0000 |
commit | 79578b148ba1f439c5e8bc6cabb452f907403291 (patch) | |
tree | 345ceee9c19b8d250433b67297b7d51b49bf4c40 /Master/tlpkg/dviout | |
parent | 10d4cc79c4cf027bcd8487e008587c3bf90791b9 (diff) |
(download_file): also -L to dereference symlink,
in case. Mail from Vincenzo Luca Mantova, 7 May
2021 21:22:26.
git-svn-id: svn://tug.org/texlive/trunk@59126 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/dviout')
0 files changed, 0 insertions, 0 deletions