nit: personal git ignore (#6787)

This commit is contained in:
jif-oai 2025-11-17 18:45:52 +01:00 committed by GitHub
parent 98a90a3bb2
commit 2c665fb1dd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

3
.gitignore vendored
View file

@ -64,6 +64,9 @@ apply_patch/
# coverage
coverage/
# personal files
personal/
# os
.DS_Store
Thumbs.db