diff --git a/CI/check_tabs.sh b/CI/check_tabs.sh deleted file mode 100755 index 1e88b57fd4..0000000000 --- a/CI/check_tabs.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -OUTPUT=$(grep -nRP '\t' --include=\*.{cpp,hpp,c,h} --exclude=ui_\* apps components) - -if [[ $OUTPUT ]] ; then - echo "Error: Tab characters found!" - echo $OUTPUT - exit 1 -fi