glossary_types.py: remove GlossaryExtendedType
, update `ReaderGloss…
#756
Job | Run time |
---|---|
7s | |
7s |
GlossaryExtendedType
, update `ReaderGloss…
#756
Job | Run time |
---|---|
7s | |
7s |