summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvidvi
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2018-05-14 13:01:34 +0000
committerNorbert Preining <preining@logic.at>2018-05-14 13:01:34 +0000
commit1b10b3c76874d1c40695cfb37be1b062e434618d (patch)
treea6cdc20aaa3ea150b1c947459ee4e5a8038a5108 /Build/source/texk/dvidvi
parent370347ec6ceb8863c4f39eca9d5169e65aa114f0 (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