diff options
| author | Bryan Newbold <bnewbold@archive.org> | 2022-02-03 17:14:01 -0800 |
|---|---|---|
| committer | Bryan Newbold <bnewbold@archive.org> | 2022-02-03 17:14:01 -0800 |
| commit | 035c662020ec1e98ec25ab707a076e55791ae212 (patch) | |
| tree | ae887a3583b010e1e2a6d975bb2a317bbec3462a /Pipfile | |
| parent | d59a5c856183a0343eaee8bc161edd28e3244583 (diff) | |
| download | grobid_tei_xml-035c662020ec1e98ec25ab707a076e55791ae212.tar.gz grobid_tei_xml-035c662020ec1e98ec25ab707a076e55791ae212.zip | |
small type annotation improvement (for newer mypy)
Diffstat (limited to 'Pipfile')
0 files changed, 0 insertions, 0 deletions