gitignore und 4D: eine nützliche Funktion für Git-Benutzer