diff options
| author | Bryan Newbold <bnewbold@archive.org> | 2021-10-27 15:10:01 -0700 |
|---|---|---|
| committer | Bryan Newbold <bnewbold@archive.org> | 2021-10-27 15:10:04 -0700 |
| commit | 6812d37a27dae1e22ea45124576d7ed2d63695c6 (patch) | |
| tree | 7308faf957dcc349dae1c9d764bc6d5c5dbe3496 /Pipfile | |
| parent | b4396980f38b15b4c503dadb2b4d2649a3c3d211 (diff) | |
| download | grobid_tei_xml-6812d37a27dae1e22ea45124576d7ed2d63695c6.tar.gz grobid_tei_xml-6812d37a27dae1e22ea45124576d7ed2d63695c6.zip | |
make: don't ignore-missing-imports for mypy
This repo has no dependencies, so not needed
Diffstat (limited to 'Pipfile')
0 files changed, 0 insertions, 0 deletions