diff options
Diffstat (limited to '')
| -rw-r--r-- | vorlesungen/punktgruppen/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vorlesungen/punktgruppen/.gitignore b/vorlesungen/punktgruppen/.gitignore index 068a456..632b499 100644 --- a/vorlesungen/punktgruppen/.gitignore +++ b/vorlesungen/punktgruppen/.gitignore @@ -5,4 +5,5 @@ build # files script.log +slides.log missfont.log |