From 5ffe714acb6b3aaa83826b88133c224e809e0c14 Mon Sep 17 00:00:00 2001 From: Bryan Joshua Pedini Date: Fri, 2 Jan 2026 13:52:15 +0100 Subject: [PATCH] removed comment --- update_child_repos.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/update_child_repos.sh b/update_child_repos.sh index bf425c6..a75face 100755 --- a/update_child_repos.sh +++ b/update_child_repos.sh @@ -30,7 +30,6 @@ is_file_changed() { return 1 fi - # Check if file was changed (content or permissions) for changed_file in ${FILES_CHANGED}; do if [ "${changed_file}" = "${file_to_check}" ]; then return 0