1
0
mirror of https://github.com/github/gitignore synced 2024-11-25 21:24:23 +01:00

Support option abbreviations of glossaries-extra

This commit is contained in:
Lars Schütz 2023-06-29 15:01:19 +02:00 committed by GitHub
parent 4488915eec
commit aa0342778a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -106,8 +106,11 @@ acs-*.bib
*.acn
*.acr
*.glg
*.glg-abr
*.glo
*.glo-abr
*.gls
*.glo-abr
*.glsdefs
*.lzo
*.lzs