diff --git a/etc/settings.sh b/etc/settings.sh index 48335c1c2032366890595083113d50fdab0cbe1c..3af9c8689d8743d42db172b0c815a081bb76cdfd 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