Removed an erroneous line in .gitignore.