Placeholder file, to keep Git happy with otherwise empty dir.
