little patch

This commit is contained in:
2020-11-20 02:10:12 +01:00
parent 8c53d9395b
commit 3019e06bf5
2 changed files with 4 additions and 1 deletions

3
.gitignore vendored
View File

@@ -1,6 +1,9 @@
log.*
MANIFEST
tarball
main.aux
main.idx
main.ilg