Python: rename file

This commit is contained in:
Rasmus Lerchedahl Petersen
2021-10-28 19:14:02 +02:00
parent 8f9741ae72
commit 0f2f68bcbb