Merge branch 'master' of ssh://dev.hostsharing.net:29418/docs/hs.docs.users

Michael Hierweck

2020-04-01 c6bdf48a62929a67c8612024a623b3accfe69b4e

 .gitignore

@@ -81,7 +81,6 @@
*.nls
*.out
*.pax
*.pdf
*.pdfpc
*.pdfsync
*.pre
@@ -100,7 +99,6 @@
*.spl
*.sta
*.stc[0-9]*
*.svg
*.swp
*.sympy
*.synctex