This useless file prevents git from removing this directory.
