git://git.nikiroo.be / nikiroo-utils.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
derename.sh
[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