Skip to content
Snippets Groups Projects
Commit 643d1e5e authored by Peter Gerwinski's avatar Peter Gerwinski
Browse files

update: temporäre Dateien löschen

parent 8755525b
Branches
No related tags found
No related merge requests found
......@@ -55,7 +55,7 @@ EOF
exit 1
}
rm -f dbs-slides-"$sem".{aux,log,out}
rm -f $course-slides-"$sem".{aux,log,out}
echo
fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment