git.nikiroo.be Git - nikiroo-utils.git/history - derename.sh

git://git.nikiroo.be / nikiroo-utils.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[nikiroo-utils.git] / derename.sh

2020-04-18	Niki Roo	Merge branch 'subtree'	blob \| commitdiff \| raw
2020-04-18	Niki Roo	derename.sh	blob \| commitdiff \| raw

Small java utilities, mostly for personal use -- but feel free to have a look