Skip to content

Preparations to switch to `git latexdiff`

Michael van Straten requested to merge prepare-for-git-latexdiff into main

Damit git latexdiff richtig funktioniert musste ich ein paar minimale Änderungen zu unserer import / filestructure machen, läuft jetzt aber super.

Merge request reports