diff options
| author | Karl Berry <karl@freefriends.org> | 2020-03-14 22:04:10 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-03-14 22:04:10 +0000 |
| commit | ae2a5f357df974b9a9140e188de98de09c83cf36 (patch) | |
| tree | e63aea12ef369aa15785d73d0ecabe55c7607087 /Master/bin/armhf-linux/bbox | |
| parent | 58c4ce1681c0ba0f511802729b1409b92a864617 (diff) | |
(rebuild_one_format): search for .pool, not
.poo. Not that anyone uses this branch.
git-svn-id: svn://tug.org/texlive/trunk@54303 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux/bbox')
0 files changed, 0 insertions, 0 deletions