projects / scripts.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update.
[scripts.git] / arxiv-rename-pdf.sh
2022-01-21 Francois FleuretUpdate. blob | commitdiff | raw
2022-01-21 Francois FleuretUpdate. blob | commitdiff | raw | diff to current
2021-08-30 Francois FleuretUpdate. blob | commitdiff | raw | diff to current
2020-01-09 Francois FleuretUpdate. blob | commitdiff | raw
2018-02-11 Francois FleuretUpdate. blob | commitdiff | raw | diff to current
2018-01-05 Francois FleuretUpdate. blob | commitdiff | raw | diff to current
A few bash scripts.