remove accidentally added file

This commit is contained in:
Matthew Flatt 2011-12-19 07:03:25 -07:00
parent 67f83bfd6d
commit 35d800f109