diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-13 09:47:18 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-13 09:47:18 +0000 |
commit | 53e167ef35f63edaf05d3e414cbef39bb2f31ee9 (patch) | |
tree | f0d26b6da16d832b55305d246109a02488c5480f /Master/bin/x86_64-linux/pdvitomp | |
parent | 4f607d824e25cf0af5a7f0b37a2dcefcf04e762e (diff) |
more x86_64-linux binaries
git-svn-id: svn://tug.org/texlive/trunk@36828 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/pdvitomp')
l--------- | Master/bin/x86_64-linux/pdvitomp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/pdvitomp b/Master/bin/x86_64-linux/pdvitomp new file mode 120000 index 00000000000..b59d5cc82a7 --- /dev/null +++ b/Master/bin/x86_64-linux/pdvitomp @@ -0,0 +1 @@ +pmpost
\ No newline at end of file |