remove unused file (#4251)

This commit is contained in:
thiolliere authored and Bastian Köcher committed 2019-11-29 20:25:30 +01:00
1 parent 3e3ec05e56
commit b87b008775
1 file changed
-1075
File diff suppressed because it is too large. Load diff