Fixed gitignore issue

This commit is contained in:
Marius Drechsler 2025-06-08 18:40:30 +02:00
parent 1ef5c20317
commit 44abf1fddc
Signed by: marius
GPG key ID: 56D4131BA3104777
2 changed files with 8 additions and 1 deletions

2
.gitignore vendored
View file

@ -1,4 +1,4 @@
result*
.direnv/
.envrc
*.pdf
result