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
treebf4979ab3beb2e1d7c227e048de5349f08ff594e
parent371a36bd5f5d0e46038491ecfdd18653fe4d6f61
derename.sh
derename.sh [new file with mode: 0755]