Aktiviere CI für die letzten zwei Foliensätze
Bisher wollten sie auf dem CI-Server nicht bauen. Das Problem ließ sich durch ein Update auf eine neuere Version von TeXlive beheben.
Bisher wollten sie auf dem CI-Server nicht bauen. Das Problem ließ sich durch ein Update auf eine neuere Version von TeXlive beheben.