Python: rename file

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-09-08 13:37:54 +02:00
parent b07d085157
commit d91cd21204