Merge branch 'promoInfo' of /f/gitRepositories/judo into promoInfo

This commit is contained in:
marko
2019-03-29 13:15:34 +01:00
208 changed files with 11300 additions and 3162 deletions

View File

@@ -70,5 +70,7 @@
]{geometry}
% unbekanntes tightlist ergänzen
% Wahrlscheinlich pUpdatefehler bei Pandoc
% in zukünftigen Revisionen evtl wieder entfernen
\providecommand{\tightlist}{%
\setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}