Es kommt schon mal vor, dass man in der Eile schnell schnell was dummes macht!

Folgende Situation:

Git-logo von Jason Long. Lizenziert unter CC BY 3.0 .

Ich hatte ein paar LaTeX-Dateien bearbeitet und in dieser alles mögliche hin und her geschoben, während mein Kollege eine kleine Einleitung schrieb. Außerdem …