Removed spurious .gitignore