From ff3c51b5ab68a4f719e2eed9a32422ebbd56d857 Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
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.39.5