Remove useless empty file.

This commit is contained in:
Gael Guennebaud 2013-01-03 17:05:20 +01:00
parent 2ea1e49a08
commit 6fb3be9841