Oops, removing spurious .gitignore file