Fix ocrd tool json - Githubissues

OCR-D / quiver-back-end

The back end of the OCR-D quality dashboard webapp.

MIT License

1 stars 2 forks source link

Fix ocrd tool json #30

Closed mweidling closed 2 years ago

mweidling commented 2 years ago

This PR removes the broken CLI option repo ocrd-tool. We had removed the called function some time ago since we decided to directly link to the ocrd-tool.json files but missed updating the CLI.

This PR also includes a little fix for a missing property of the Repo class.