Just a dummy file to make GIT add an empty directory
