Merge pull request #12 from kba/ocrd-tool-root

symlink ocrd-tool.json to repo root
This commit is contained in:
Mike Gerber 2020-09-29 19:30:46 +02:00 committed by GitHub
commit 817911f3f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

1
ocrd-tool.json Symbolic link
View file

@ -0,0 +1 @@
ocrd_repair_inconsistencies/ocrd-tool.json