Merge ab7e5f6994ef70b790f4800eb0ea82a9e11b665e into 86d1826a9f3daf4744e7229a26187f81c081744c

This commit is contained in:
Alessandro Cuttin 2025-03-26 15:40:28 +00:00 committed by GitHub
commit 945cb1df75
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -59,6 +59,9 @@ acs-*.bib
# amsthm
*.thm
# attachfile2
*.atfi
# beamer
*.nav
*.pre