python: rename files

This commit is contained in:
Rasmus Lerchedahl Petersen
2022-01-28 11:00:17 +01:00
parent 4c3c4deb34
commit ab43f041c3
5 changed files with 1 additions and 1 deletions