smix96·vor 2 Jahren·discussTotally correct. Files which are unrelated to the project don't belong in .gitignore.