diff options
author | Karl Berry <karl@freefriends.org> | 2007-05-31 00:53:31 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-05-31 00:53:31 +0000 |
commit | 4c9dad70b8b217133abb17746a96d35ac8d2a664 (patch) | |
tree | 6237aead45f582998ef54ae4964e3163fe049a2d /Build/source/texk/dvi2tty | |
parent | 821fbb24bdf070d591119a05762a5eea0a713d8f (diff) |
remove head.tmp and body.tmp unless debugging
git-svn-id: svn://tug.org/texlive/trunk@4380 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvi2tty')
0 files changed, 0 insertions, 0 deletions