.texlipse zu .gitignore hinzugefügt