From 40f8fbbd4c3573445cad5312a19ff0952880ebb2 Mon Sep 17 00:00:00 2001 From: inv Date: Thu, 12 May 2011 14:22:36 +0000 Subject: [PATCH] Update version --- config_Debian_4.0.xml | 4 ++-- config_Debian_4.0_64bit.xml | 4 ++-- config_Debian_5.0_64bit.xml | 4 ++-- config_Debian_6.0_64bit.xml | 4 ++-- config_Mandriva_2008.0.xml | 4 ++-- config_Mandriva_2008.0_64bit.xml | 4 ++-- config_Mandriva_2010.0.xml | 4 ++-- config_Mandriva_2010.0_64bit.xml | 4 ++-- config_Red_Hat_Enterprise_WS_4_64bit.xml | 4 ++-- config_Scientific_SL_5.1_64bit.xml | 4 ++-- 10 files changed, 20 insertions(+), 20 deletions(-) diff --git a/config_Debian_4.0.xml b/config_Debian_4.0.xml index f480bc3..85566af 100755 --- a/config_Debian_4.0.xml +++ b/config_Debian_4.0.xml @@ -526,10 +526,10 @@ type="prerequisite" description="Generic batch management library"> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/> + script="libBatch-1.3.0.sh"/>