remove unused file

This commit is contained in:
Christoph Haas 2020-04-02 17:39:24 +02:00
parent 286f8aba6f
commit 9f792802e8