Merge pull request #3356 from afcuttin/glossaries-files
added file extensions when glossaries is loaded with "symbols" option
B
Brian Douglas committed
a2d2775d20fe9b846c0bddae2ebf2b68fa94ff0a
Committed by GitHub <noreply@github.com>
on 12/4/2021, 8:01:42 PM
