This should not be here. You can add it to repository ignore (inside .git), otherwise we'll end up with all editors in gitignore. :)