From 728a85ce0a36f50c8f1db936333d620c43fc7ab9 Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Thu, 25 Oct 2007 09:54:45 +0000
Subject: [PATCH] *** empty log message ***

---
 config_files/KERNEL_SRC.sh_added | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 config_files/KERNEL_SRC.sh_added

diff --git a/config_files/KERNEL_SRC.sh_added b/config_files/KERNEL_SRC.sh_added
deleted file mode 100755
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
-}
-- 
2.39.2