Delete mistakenly committed preferences .gitignore.