diff options
author | Karl Berry <karl@freefriends.org> | 2022-04-20 21:18:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-04-20 21:18:15 +0000 |
commit | 22fefab14515a81ebabb21dd40f0e1cde9876294 (patch) | |
tree | 0171d57587527221f7d557984ee2203a7b9da0c5 /Master/bin/armhf-linux/pooltype | |
parent | 717437def35419c505ab7152bf9da592a4a8955e (diff) |
armhf-linux binaries from contextgarden, for debian 10
git-svn-id: svn://tug.org/texlive/trunk@63092 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux/pooltype')
-rwxr-xr-x | Master/bin/armhf-linux/pooltype | bin | 18044 -> 18028 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/armhf-linux/pooltype b/Master/bin/armhf-linux/pooltype Binary files differindex d954e4e2b52..9df94c7f46c 100755 --- a/Master/bin/armhf-linux/pooltype +++ b/Master/bin/armhf-linux/pooltype |