Remove extraneous file

This commit is contained in:
jaseg 2023-04-15 17:12:27 +02:00
parent fba0507a55
commit 3556dc081b