rename machines

This commit is contained in:
Mans Ziesel 2023-06-13 16:12:09 +02:00
parent 8cf6f8e598
commit fc92425e0e
6 changed files with 2 additions and 1 deletions