renamed documents to .documents

hpi-swa-teaching · Aug 7, 2020 · d403a1c · d403a1c
1 parent e6ce566
commit d403a1c
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/documents/Slides_submission.pdf → .documents/Slides_submission.pdf b/documents/Slides_submission.pdf → .documents/Slides_submission.pdf