diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-13 21:13:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-13 21:13:37 +0000 |
commit | a32a6852ddb8ebb84a60acf1bfa234df72ba20ad (patch) | |
tree | cb45fc1e0466876de66c82c77ca318bc93077e1f /Build | |
parent | 63864cbafc21901cc2930dde7573c15925baaa63 (diff) |
algolrevived (13may19)
git-svn-id: svn://tug.org/texlive/trunk@51115 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions