Remove unused and apparently unnecessary file.

This is probably another Eclipse (?) leftover.
This commit is contained in:
Vadim Zeitlin 2014-05-07 18:43:50 +02:00
commit ed40190fe1