4 commits

Author	SHA1	Message	Date
Gerber, Mike	c10ddb1d26	🧹 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
Gerber, Mike	1468b6070b	🐛 Use ocrd-repair-inconsistencies where appropriate	2019-11-26 17:11:51 +01:00
Gerber, Mike	b2845ad254	📝 Update fix script	2019-11-25 18:06:05 +01:00
Gerber, Mike	e8d6845e74	📝 Include an example script	2019-11-25 12:00:45 +01:00