From: Francois Fleuret Date: Fri, 21 Jan 2022 15:46:59 +0000 (+0100) Subject: Update. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=ff3c51b5ab68a4f719e2eed9a32422ebbd56d857;p=scripts.git Update. --- diff --git a/arxiv-rename-pdf.sh b/arxiv.sh similarity index 100% rename from arxiv-rename-pdf.sh rename to arxiv.sh