rename executable

This commit is contained in:
mwiegand 2022-04-10 21:37:52 +02:00
parent dd7f82ee0b
commit f146708b7c