Update.
authorFrancois Fleuret <francois@fleuret.org>
Fri, 21 Jan 2022 15:46:33 +0000 (16:46 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 21 Jan 2022 15:46:33 +0000 (16:46 +0100)
commit3067965aacf2d5b62f951e2a393f420f5daba7de
treefd82459f1ee9772ce7a6fb6373dc7521d6b2498d
parentbef43acb5354ea8114c98a22aeabf9e7338ec90e
Update.
arxiv-rename-pdf.sh