remove renamed file

This commit is contained in:
Gerhard Hoffmann 2023-07-06 15:08:34 +02:00
parent 09e7c378c9
commit 793e8efebb

Binary file not shown.