Renaming file according the repository rules

This commit is contained in:
Philip 2025-02-03 14:09:59 +02:00
parent 6df4ae1e21
commit b2af19742d