Update.
authorFrancois Fleuret <francois@fleuret.org>
Sun, 11 Feb 2018 10:12:11 +0000 (11:12 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Sun, 11 Feb 2018 10:12:11 +0000 (11:12 +0100)
commitd1b9247802bf8ae3cef68070b2e6e1422470f2b2
tree02241bad79ea21121a271799a9695ea9a9ee4837
parentc959baab4f9a2ba5b483a20336ef74b01704c6f7
Update.
arxiv-rename-pdf.sh