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/infokey | |
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/infokey')
-rwxr-xr-x | Master/bin/x86_64-linux/infokey | bin | 21152 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/infokey b/Master/bin/x86_64-linux/infokey Binary files differdeleted file mode 100755 index 605e27681a1..00000000000 --- a/Master/bin/x86_64-linux/infokey +++ /dev/null |