ocrd-tool.json: allow more fine-grained parameter descriptions#206

Merged

kba merged 3 commits intomasterfrom ocrd-tool-enhanced-typing

May 23, 2022

+53-5

Commits on May 20, 2022

ocrd-tool.json: allow more fine-grained parameter descriptions, OCR-D/core#848
kba
committed
ocrd-tool.json: allow more fine-grained parameter descriptions, OCR-D/core#848
kba
committed

Commits on May 23, 2022

Merge branch 'ocrd-tool-enhanced-typing' of https://github.com/OCR-D/spec into ocrd-tool-enhanced-typing
kba
committed