From f0e4815cb5fd879fbe3db30b08701f6cf4a3b3f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= <motiejus@jakstys.lt>
Date: Thu, 7 Nov 2024 00:03:15 +0200
Subject: [PATCH] remove redundant comment

---
 run | 1 -
 1 file changed, 1 deletion(-)

diff --git a/run b/run
index e6887aa..3e332f9 100755
--- a/run
+++ b/run
@@ -307,7 +307,6 @@ if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
   step=${step#step}
   step=${step#0}
 
-  # works:
   if [[ "$step" -le 0 ]]; then step00; fi
   if [[ "$step" -le 1 ]]; then step01; fi
   if [[ "$step" -le 2 ]]; then step02; fi