Merge pull request #3707 from adunning/patch-1

Add missing extension for GregorioTeX
This commit is contained in:
Brian Douglas 2021-05-07 10:52:17 -07:00 committed by GitHub
commit 7c4d7f63f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -120,6 +120,7 @@ acs-*.bib
# gregoriotex
*.gaux
*.glog
*.gtex
# htlatex