From ba27abab2790f5f834f12ad65bd0879cdf557735 Mon Sep 17 00:00:00 2001 From: "Gerber, Mike" Date: Thu, 25 Jun 2020 20:29:27 +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 --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index fadb683..6e2b7bf 100644 --- a/README.md +++ b/README.md @@ -58,5 +58,4 @@ for f in "$tmp_fg"/*; do done ocrd workspace remove-group -rf $tmp_fg -rmdir $tmp_fg ~~~