From e1acdbef93bf06c81c638ab5c43df5b8fe5fc1f1 Mon Sep 17 00:00:00 2001 From: Leonid Kostrykin Date: Fri, 4 Oct 2024 12:20:46 +0200 Subject: [PATCH] Update util/README.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Björn Grüning --- util/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/README.md b/util/README.md index a1f835fc..8c7d23bb 100644 --- a/util/README.md +++ b/util/README.md @@ -2,7 +2,7 @@ ## Check tool directory names -Verify that the path of all tools contains the name of the corresponding tool shed repository: +Verify that the path of all tools contains the name of the corresponding tool shed repository or the name of a tool suite. ```bash ./util/check_directory_names.py