Krautspace/dokumente
2
0
Fork 0
Code Issues 1 Pull requests Packages Projects Releases Wiki Activity

gitignore: one more thing

Browse source
This commit is contained in:
Ludwig Behm 2023-11-04 13:31:52 +01:00
parent 0e7763ee39
commit e05fb3a7a3
Signed by: l.behm
GPG key ID: D344835D63B89384
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitignore vendored
View file

@ -6,4 +6,4 @@
*.mtc
*.mtc0
*.ptc1
*.synctex.gz