]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #3707 from adunning/patch-1
authorBrian Douglas <bdougie@users.noreply.github.com>
Fri, 7 May 2021 17:52:17 +0000 (10:52 -0700)
committerGitHub <noreply@github.com>
Fri, 7 May 2021 17:52:17 +0000 (10:52 -0700)
Add missing extension for GregorioTeX


Trivial merge