Deleted unused file which likely have be reintroduced during git move.

This file was deleted longtime ago, guess that git migration
created it again.
This commit is contained in:
Jerome Glisse 2006-12-26 18:39:21 +01:00
parent 257e3d1d59
commit 2dccca57e4

File diff suppressed because it is too large Load diff