Brian Douglas a2d2775d20 Merge pull request #3356 from afcuttin/glossaries-files ...

added file extensions when glossaries is loaded with "symbols" option

2021-12-04 12:01:42 -08:00

2.9 KiB

Raw Blame History

View Raw