fixes #9787: remove derp file

This commit is contained in:
Mark Otto 2013-08-18 11:00:04 -07:00
parent d7eee9bd6e
commit 3c1d951d29

View File