# Dummy file, so that git retains this otherwise empty directory.