more ignores, real fix of pagelisting

This commit is contained in:
2020-12-20 14:11:11 +01:00
parent ecc37f8f67
commit 46bd94e05d
2 changed files with 4 additions and 4 deletions

2
.gitignore vendored
View File

@@ -26,4 +26,4 @@
*.vrb
__*
pointprocesses/lecture/pointprocessscetch*.tex
*.DS_Store