Remove file that should have been removed during the merge.

This commit is contained in:
Georg Brandl 2007-11-01 20:58:46 +00:00
parent 3c8ce77148
commit 48decfe740