ocrd_repair_inconsistencies/examples
2020-06-25 20:28:00 +02:00
..
fix-ocr-d-gt-page.sh 🧹 examples/fix-ocr-d-gt-page.sh: rmdir after ocrd workspace remove-group is not necessary anymore 2020-06-25 20:28:00 +02:00