Removal of a legacy .gitignore file.