This can be deleted. It is added to force github to create this directory ;-)