Merge remote-tracking branch 'origin/master'

2019-01-22 00:38:31 +01:00 · 2019-01-22 00:38:31 +01:00 · 18160c2768
parent e1eddbc818 a1b7c2bb39
commit 18160c2768
2 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -4,3 +4,4 @@
 *.gz
 *.aux
 *auxil/
+/sem-bericht/*.pdf
--- a/sem-bericht/hci_CloudMan_wolfmajer-schreiner-sommer.pdf
+++ b/sem-bericht/hci_CloudMan_wolfmajer-schreiner-sommer.pdf