git://git.nikiroo.be / nikiroo-utils.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
BasicSupport: add the meta on the progress when it is ready
[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