git://git.nikiroo.be / nikiroo-utils.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge commit '9a553563269f93bae59cf45e43933c81fdec07e8'
[nikiroo-utils.git] / derename.sh
2020-04-18 Niki Rooderename.sh blob | commitdiff | raw
Small java utilities, mostly for personal use -- but feel free to have a look