remove badly named file (#404)

This commit is contained in:
rbiasini
2018-10-23 12:05:11 -07:00
committed by GitHub
parent 1f0144d121
commit 434a29a4ee