Delete an extraneous file.

This commit is contained in:
Dan Gohman
2018-02-28 03:43:55 -08:00
parent 60c6154b94
commit d71756f298

View File

@@ -1 +0,0 @@