From 3028a31ac9fd78074f93bdc0412300334482e916 Mon Sep 17 00:00:00 2001 From: maintenance team Date: Thu, 10 May 2007 10:31:04 +0000 Subject: [PATCH] Small changes --- config_files/FILTER_BIN.sh | 2 +- config_files/FILTER_SRC.sh | 2 +- config_files/RANDOMIZER_BIN.sh | 2 +- config_files/RANDOMIZER_SRC.sh | 2 +- config_files/SIERPINSKY_BIN.sh | 2 +- config_files/SIERPINSKY_SRC.sh | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/config_files/FILTER_BIN.sh b/config_files/FILTER_BIN.sh index 84249c1..c9351c3 100755 --- a/config_files/FILTER_BIN.sh +++ b/config_files/FILTER_BIN.sh @@ -12,7 +12,7 @@ # #################################################################################### -VERSION="3.2.6" +VERSION="4.0.0" check_version(){ if [ -n "${FILTER_ROOT_DIR}" ]; then diff --git a/config_files/FILTER_SRC.sh b/config_files/FILTER_SRC.sh index 61c9924..929636d 100755 --- a/config_files/FILTER_SRC.sh +++ b/config_files/FILTER_SRC.sh @@ -12,7 +12,7 @@ # #################################################################################### -VERSION="3.2.6" +VERSION="4.0.0" check_version(){ if [ -n "${FILTER_SRC_DIR}" ]; then diff --git a/config_files/RANDOMIZER_BIN.sh b/config_files/RANDOMIZER_BIN.sh index b93b88c..a5a891b 100755 --- a/config_files/RANDOMIZER_BIN.sh +++ b/config_files/RANDOMIZER_BIN.sh @@ -12,7 +12,7 @@ # #################################################################################### -VERSION="3.2.6" +VERSION="4.0.0" check_version(){ if [ -n "${RANDOMIZER_ROOT_DIR}" ]; then diff --git a/config_files/RANDOMIZER_SRC.sh b/config_files/RANDOMIZER_SRC.sh index 9ca4055..7cde1e8 100755 --- a/config_files/RANDOMIZER_SRC.sh +++ b/config_files/RANDOMIZER_SRC.sh @@ -12,7 +12,7 @@ # #################################################################################### -VERSION="3.2.6" +VERSION="4.0.0" check_version(){ if [ -n "${RANDOMIZER_SRC_DIR}" ]; then diff --git a/config_files/SIERPINSKY_BIN.sh b/config_files/SIERPINSKY_BIN.sh index d48f6de..c7cbc2e 100755 --- a/config_files/SIERPINSKY_BIN.sh +++ b/config_files/SIERPINSKY_BIN.sh @@ -12,7 +12,7 @@ # #################################################################################### -VERSION="3.2.6" +VERSION="4.0.0" check_version(){ if [ -n "${SIERPINSKY_ROOT_DIR}" ]; then diff --git a/config_files/SIERPINSKY_SRC.sh b/config_files/SIERPINSKY_SRC.sh index ed80c96..f9517f4 100755 --- a/config_files/SIERPINSKY_SRC.sh +++ b/config_files/SIERPINSKY_SRC.sh @@ -12,7 +12,7 @@ # #################################################################################### -VERSION="3.2.6" +VERSION="4.0.0" check_version(){ if [ -n "${SIERPINSKY_SRC_DIR}" ]; then -- 2.39.2