diff --git a/gra b/gra index 06f7e26..c167b98 100755 --- a/gra +++ b/gra @@ -9,8 +9,8 @@ function print_usage { cat <