From 59e75ae538d213046eaec8fac1de09eaf48c7b4a Mon Sep 17 00:00:00 2001 From: Jens Falk Date: Mon, 17 Jul 2023 17:00:27 +0200 Subject: [PATCH] Nicht notwendige Dateien entfernt Signed-off-by: Jens Falk --- .gitignore | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index bb70f0a..90a8852 100644 --- a/.gitignore +++ b/.gitignore @@ -5,4 +5,9 @@ *.gaux *.idx *.ind -*.out \ No newline at end of file +*.out +*.ilg +*.log +*.toc +GradualeMonasterienseParsSecunda.pdf +GradualeMonasterienseParsPrima.pdf \ No newline at end of file