Delete misplaced (and obsoleted) file

This commit is contained in:
Martin Kroeker
2024-04-04 11:41:49 +02:00
committed by GitHub
parent 18d9759650
commit bd07a6e7b2

File diff suppressed because it is too large Load Diff