diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-17 08:03:03 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-17 08:03:03 +0000 |
commit | 8f91f2f5b672415ee6884ba6db4918605ac353a4 (patch) | |
tree | e4c4bf42a5ddf3f2f9855cc1bbf0c0f6354ae034 /Master/bin/x86_64-linux/dvitomp | |
parent | b13955adbcf185c9d1e2dd97b96c618c538653f1 (diff) |
install binaries
git-svn-id: svn://tug.org/texlive/trunk@13777 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/dvitomp')
l---------[-rwxr-xr-x] | Master/bin/x86_64-linux/dvitomp | bin | 94928 -> 5 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/dvitomp b/Master/bin/x86_64-linux/dvitomp Binary files differindex b329adf0459..96672bbb523 100755..120000 --- a/Master/bin/x86_64-linux/dvitomp +++ b/Master/bin/x86_64-linux/dvitomp |