diff options
author | Jonathan Kew <jfkthame@googlemail.com> | 2008-07-01 15:26:10 +0000 |
---|---|---|
committer | Jonathan Kew <jfkthame@googlemail.com> | 2008-07-01 15:26:10 +0000 |
commit | e9926b95c40eff33cfb6906adf9fcd75f197d1d7 (patch) | |
tree | ed56850465c6dc1d65f95e43f53328a7f6fa5e1d /Build/source/texk/xdvik/gui/Makefile.in | |
parent | e977ea5237474959227ae7bc70c333c463268dfb (diff) |
synctex patch for windows - remove target before renaming temp file
git-svn-id: svn://tug.org/texlive/trunk@9140 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/xdvik/gui/Makefile.in')
0 files changed, 0 insertions, 0 deletions