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 3d67444..841ea7e 100644 --- a/vorlesungen/punktgruppen/.gitignore +++ b/vorlesungen/punktgruppen/.gitignore @@ -8,4 +8,5 @@ build # files script.log slides.log +slides.vrb missfont.log |