From c10ddb1d26c2c4ca64916276ae8c3b773897e2e5 Mon Sep 17 00:00:00 2001 From: "Gerber, Mike" Date: Thu, 25 Jun 2020 20:28:00 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=B9=20examples/fix-ocr-d-gt-page.sh:?= =?UTF-8?q?=20rmdir=20after=20ocrd=20workspace=20remove-group=20is=20not?= =?UTF-8?q?=20necessary=20anymore?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- examples/fix-ocr-d-gt-page.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/examples/fix-ocr-d-gt-page.sh b/examples/fix-ocr-d-gt-page.sh index e1d346e..1704b9f 100644 --- a/examples/fix-ocr-d-gt-page.sh +++ b/examples/fix-ocr-d-gt-page.sh @@ -11,4 +11,3 @@ for f in "$tmp_fg"/*; do done ocrd workspace remove-group -rf $tmp_fg -rmdir $tmp_fg