From d45fb3d29d839e2e803b8e95e6ba50ec6616876b Mon Sep 17 00:00:00 2001 From: Denis Lehmann Date: Tue, 13 Aug 2024 22:12:06 +0200 Subject: [PATCH] adjust usage --- gra | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gra b/gra index 06f7e26..c167b98 100755 --- a/gra +++ b/gra @@ -9,8 +9,8 @@ function print_usage { cat <