From: maintenance team Date: Wed, 26 Apr 2006 13:27:01 +0000 (+0000) Subject: Deleting HappyDoc X-Git-Tag: mergeto_SALOME_3_17May06~17 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=8b848fc2b2c1b0665a5782f7b4a08ec7617c133e;p=tools%2Finstall.git Deleting HappyDoc --- diff --git a/config_Mandriva_2006.0.xml b/config_Mandriva_2006.0.xml index 7a5f035..97af7ca 100755 --- a/config_Mandriva_2006.0.xml +++ b/config_Mandriva_2006.0.xml @@ -166,16 +166,6 @@ installdiskspace="2396" temporarydiskspace="7840" script="Numeric-23.7.sh"/> -