From 74ad0cd4ad971d48db205c716a5843f48c9771ce Mon Sep 17 00:00:00 2001 From: henry Date: Wed, 4 Jun 2008 13:21:40 +0100 Subject: [PATCH] Removed duplicate "thirdParty" --- etc/settings.sh | 5 ----- 1 file changed, 5 deletions(-) diff --git a/etc/settings.sh b/etc/settings.sh index 48335c1c20..3af9c8689d 100644 --- a/etc/settings.sh +++ b/etc/settings.sh @@ -135,11 +135,6 @@ if [ "$WM_COMPILER_BIN" != "" ]; then fi -# Third-party software -# ~~~~~~~~~~~~~~~~~~~~ -thirdParty=$WM_PROJECT_INST_DIR/ThirdParty - - # MICO # ~~~~ export MICO_VERSION=2.3.12