Remove unneeded line

This commit is contained in:
Gabo 2020-07-07 09:21:25 -05:00
parent 8884ea722b
commit 294e4024ae

View file

@ -1135,7 +1135,6 @@ fi
######################## ########################
# EDITORCONFIG LINTING # # EDITORCONFIG LINTING #
######################## ########################
echo ed: "$VALIDATE_EDITORCONFIG"
if [ "$VALIDATE_EDITORCONFIG" == "true" ]; then if [ "$VALIDATE_EDITORCONFIG" == "true" ]; then
#################################### ####################################
# Lint the files with editorconfig # # Lint the files with editorconfig #