From ff3c51b5ab68a4f719e2eed9a32422ebbd56d857 Mon Sep 17 00:00:00 2001 From: Francois Fleuret Date: Fri, 21 Jan 2022 16:46:59 +0100 Subject: [PATCH] Update. --- arxiv-rename-pdf.sh => arxiv.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename arxiv-rename-pdf.sh => arxiv.sh (100%) diff --git a/arxiv-rename-pdf.sh b/arxiv.sh similarity index 100% rename from arxiv-rename-pdf.sh rename to arxiv.sh -- 2.20.1