Revert changes to utils.sh

EESSI · Apr 2, 2024 · c92ceb2 · c92ceb2
1 parent 4cf4d76
commit c92ceb2
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/scripts/utils.sh b/scripts/utils.sh
@@ -1,6 +1,3 @@
-## THIS COMMENT IS ONLY TO RETRIGGER #517
-## IT SHOULD NEVER BE MERGED
-
 function echo_green() {
     echo -e "\e[32m$1\e[0m"
 }