projects / scripts.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3067965)
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)
arxiv.sh [moved from arxiv-rename-pdf.sh with 100% similarity] patch | blob | history

diff --git a/arxiv-rename-pdf.sh b/arxiv.sh
similarity index 100%
rename from arxiv-rename-pdf.sh
rename to arxiv.sh
A few bash scripts.