chore: Remove empty file (#5374)

This commit is contained in:
Lars Eggert 2023-03-20 17:11:50 +02:00 committed by GitHub
parent 8dd6947ac0
commit 0097778239
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23