*** empty log message ***

diff --git a/config_files/KERNEL_SRC.sh_added b/config_files/KERNEL_SRC.sh_added
deleted file mode 100755 (executable)
index b71669c..0000000
--- a/config_files/KERNEL_SRC.sh_added
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash -noprofile
-
-VERSION=4.0.0
-
-check_version(){
-  check_salome_src_version KERNEL_SRC_DIR $VERSION
-  if [ $? -eq 0 ] ; then return 0 ; fi
-  return 1
-}