Closed this issue 6 years ago · 1 comments
@wrznr You opened this when you merged the previous PR, but an ocrd-tool.json was present ever since you published the first draft. Close?
ocrd-tool.json