Remove redundant file

This commit is contained in:
2020-07-16 22:49:16 +02:00
parent 95927ace4d
commit d0ba5b9e88