Dummy file used so that this directory shows up in git.