Rename script

This commit is contained in:
Michal Čihař 2019-05-27 09:17:05 +02:00
commit 43d48c71e2