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