git://git.nikiroo.be / nikiroo-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 371a36b) | patch
derename.sh
authorNiki Roo <niki@nikiroo.be>
Sat, 18 Apr 2020 16:16:18 +0000 (18:16 +0200)
committerNiki Roo <niki@nikiroo.be>
Sat, 18 Apr 2020 16:16:18 +0000 (18:16 +0200)
commita286f64f40c6c923fcb7d66b6a2272a31a510831
treebf4979ab3beb2e1d7c227e048de5349f08ff594etree | snapshot
parent371a36bd5f5d0e46038491ecfdd18653fe4d6f61commit | diff
derename.sh
derename.sh [new file with mode: 0755] blob
Small java utilities, mostly for personal use -- but feel free to have a look