Remove an obsolete file.

This commit is contained in:
Uwe Risse 2024-09-09 15:32:44 +02:00
parent 46595d45e8
commit 49eac1dbd3

File diff suppressed because it is too large Load Diff