Update .gitignore

This commit is contained in:
Aoran Zeng 2024-08-22 12:09:41 +08:00
parent dc1d7d7976
commit 835e2cd056
No known key found for this signature in database
GPG Key ID: 8F8BA8488E10ED98

7
.gitignore vendored
View File

@ -14,3 +14,10 @@ xy
# Generated when testing
nul
# Texinfo
chsrc.aux
chsrc.log
chsrc.toc
*.info
*.pdf