Alessandro Cuttin e00e3cc6cd added file extensions when glossaries is loaded with "symbols" option

2020-03-28 21:20:04 +01:00

2.9 KiB

Raw Blame History

View Raw