diff --git a/ocrd-tool.json b/ocrd-tool.json new file mode 120000 index 0000000..1b72561 --- /dev/null +++ b/ocrd-tool.json @@ -0,0 +1 @@ +ocrd_repair_inconsistencies/ocrd-tool.json \ No newline at end of file