mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-11 18:25:40 +02:00
Disabling the "External Settings" page for now..
This commit is contained in:
parent
88ce755dbb
commit
a39e2b6a75
1 changed files with 2 additions and 2 deletions
|
@ -541,7 +541,7 @@
|
||||||
</enabledWhen>
|
</enabledWhen>
|
||||||
</page>
|
</page>
|
||||||
|
|
||||||
<page
|
<!--page
|
||||||
class="org.eclipse.cdt.ui.newui.Page_ExpPathAndSymb"
|
class="org.eclipse.cdt.ui.newui.Page_ExpPathAndSymb"
|
||||||
id="org.eclipse.ui.propertypages.project.ref16"
|
id="org.eclipse.ui.propertypages.project.ref16"
|
||||||
name="%CDTExpPathSymbolsProperty.name"
|
name="%CDTExpPathSymbolsProperty.name"
|
||||||
|
@ -556,7 +556,7 @@
|
||||||
<instanceof value="org.eclipse.cdt.core.model.ICProject"/>
|
<instanceof value="org.eclipse.cdt.core.model.ICProject"/>
|
||||||
</or>
|
</or>
|
||||||
</enabledWhen>
|
</enabledWhen>
|
||||||
</page>
|
</page-->
|
||||||
|
|
||||||
<page
|
<page
|
||||||
class="org.eclipse.cdt.ui.newui.Page_BuildSettings"
|
class="org.eclipse.cdt.ui.newui.Page_BuildSettings"
|
||||||
|
|
Loading…
Add table
Reference in a new issue