diff options
| author | Karl Berry <karl@freefriends.org> | 2020-03-03 22:33:26 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-03-03 22:33:26 +0000 |
| commit | 24dbc0b1802756862bedad6a4088f50aad68b51b (patch) | |
| tree | f8cdf14549bb476626cc1ff5145e08644cf776b9 /Master/bin/armhf-linux/pooltype | |
| parent | eb79986dbb900f7dae5fcff196af3bd3052bf7b8 (diff) | |
2020 armhf
git-svn-id: svn://tug.org/texlive/trunk@54033 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux/pooltype')
| -rwxr-xr-x | Master/bin/armhf-linux/pooltype | bin | 18088 -> 18088 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 ee1aa70143e..a12df448134 100755 --- a/Master/bin/armhf-linux/pooltype +++ b/Master/bin/armhf-linux/pooltype |