summaryrefslogtreecommitdiff
path: root/Master/bin/armhf-linux/pooltype
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2013-05-13 23:12:19 +0000
committerKarl Berry <karl@freefriends.org>2013-05-13 23:12:19 +0000
commitd06b2d1df9c241b6fc615e4d104ecea49222567f (patch)
treed1a01b94ae0a93963dbe8bcc894f36337222fb05 /Master/bin/armhf-linux/pooltype
parent1ff28b17fa5479687257ee4525e3a06c8aa0a2c7 (diff)
tl13 armhf: ptex et al.
git-svn-id: svn://tug.org/texlive/trunk@30443 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux/pooltype')
-rwxr-xr-xMaster/bin/armhf-linux/pooltypebin18396 -> 18396 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/armhf-linux/pooltype b/Master/bin/armhf-linux/pooltype
index 048d663ae6f..1a2cbf6ef12 100755
--- a/Master/bin/armhf-linux/pooltype
+++ b/Master/bin/armhf-linux/pooltype
Binary files differ