From 2a6d2fe552fb07f4b93a0014cb9a531ab8c501a6 Mon Sep 17 00:00:00 2001 From: Nicola Coretti Date: Thu, 26 Oct 2023 12:16:54 +0200 Subject: [PATCH] Update doc/tools.rst Co-authored-by: Torsten Kilias --- doc/tools.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tools.rst b/doc/tools.rst index 23b1200b..8e7e1bae 100644 --- a/doc/tools.rst +++ b/doc/tools.rst @@ -25,4 +25,4 @@ How to get Help If the details for a specific command are not sufficient checkout the according subsections bellow, -or `create an isssue `_ nothing is avialable yet. +or `create an isssue `_ if nothing is avialable yet.