From 294e4024aed7039d46dbc84bdcf938c0eab4742c Mon Sep 17 00:00:00 2001 From: Gabo Date: Tue, 7 Jul 2020 09:21:25 -0500 Subject: [PATCH] Remove unneeded line --- lib/linter.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/lib/linter.sh b/lib/linter.sh index d06d44cc..b04aa9dc 100755 --- a/lib/linter.sh +++ b/lib/linter.sh @@ -1135,7 +1135,6 @@ fi ######################## # EDITORCONFIG LINTING # ######################## -echo ed: "$VALIDATE_EDITORCONFIG" if [ "$VALIDATE_EDITORCONFIG" == "true" ]; then #################################### # Lint the files with editorconfig #