Delete dummy
This file seems to be obsolete and not required any more.
This commit is contained in:
committed by
Vadim Zeitlin
parent
d2c1fce24e
commit
9af0936673