add the ist file generated by glossaries-extra package (#3056)
M
Mohammad Hizzani committed
6cb96f4a6ece8da8201ddd2521ac2b4b920caada
Parent: 74643fe
Committed by Brendan Forster <brendan@github.com>
on 5/16/2019, 8:35:05 PM