collect.py: add option change image name prefix
authorMoritz Warning <moritzwarning@web.de>
Sat, 23 May 2020 22:51:41 +0000 (00:51 +0200)
committerMoritz Warning <moritzwarning@web.de>
Sat, 23 May 2020 22:52:13 +0000 (00:52 +0200)
commite93f49725b46a65082d503ef2e71f1653f63514f
tree3b4682aab343e1d7bf4414adbb64085f54a4a057
parentd585f7db267c2c1e869077cace1990e5b271c36a
collect.py: add option change image name prefix

this is useful for custom image releases when the image files have been renamed afterwards
misc/collect.py