Update.
authorFrancois Fleuret <francois@fleuret.org>
Fri, 21 Jan 2022 15:46:59 +0000 (16:46 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 21 Jan 2022 15:46:59 +0000 (16:46 +0100)
commitff3c51b5ab68a4f719e2eed9a32422ebbd56d857
tree794f7109839ad77676342c9869c35ef8100bf882
parent3067965aacf2d5b62f951e2a393f420f5daba7de
Update.
arxiv.sh [moved from arxiv-rename-pdf.sh with 100% similarity]