diff options
author | Norbert Preining <preining@logic.at> | 2018-05-14 13:01:34 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2018-05-14 13:01:34 +0000 |
commit | 1b10b3c76874d1c40695cfb37be1b062e434618d (patch) | |
tree | a6cdc20aaa3ea150b1c947459ee4e5a8038a5108 /Build/source/texk/dvidvi | |
parent | 370347ec6ceb8863c4f39eca9d5169e65aa114f0 (diff) |
use copy&remove instead of rename
this should help Windows Users cope with AV programs
git-svn-id: svn://tug.org/texlive/trunk@47711 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvidvi')
0 files changed, 0 insertions, 0 deletions