Remove a stray file (#12697)

This commit is contained in:
Jjp137
2019-11-21 02:19:54 -08:00
committed by Andreas Rumpf
parent 78e02d174d
commit 1b2c1bc64a

View File

@@ -1 +0,0 @@