mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-05 16:56:04 +02:00
bug 303410: [API] cdt.make.ui.NewMakeProjectPreferencePage and friends are obsolete
removed accidental commit
This commit is contained in:
parent
d4367d5bba
commit
a60aa3940a
1 changed files with 0 additions and 6 deletions
|
@ -168,12 +168,6 @@
|
||||||
class="org.eclipse.cdt.make.internal.ui.preferences.MakePreferencePage"
|
class="org.eclipse.cdt.make.internal.ui.preferences.MakePreferencePage"
|
||||||
id="org.eclipse.cdt.make.ui.preferences.MakePreferencePage">
|
id="org.eclipse.cdt.make.ui.preferences.MakePreferencePage">
|
||||||
</page>
|
</page>
|
||||||
<page
|
|
||||||
name="%PreferenceMakeProject.name"
|
|
||||||
category="org.eclipse.cdt.make.ui.preferences.MakePreferencePage"
|
|
||||||
class="org.eclipse.cdt.make.internal.ui.preferences.NewMakeProjectPreferencePage"
|
|
||||||
id="org.eclipse.cdt.make.ui.preferences.MakeProjectPreferencePage">
|
|
||||||
</page>
|
|
||||||
<page
|
<page
|
||||||
name="%PreferenceMakefileEditor.name"
|
name="%PreferenceMakefileEditor.name"
|
||||||
category="org.eclipse.cdt.make.ui.preferences.BuildSettings"
|
category="org.eclipse.cdt.make.ui.preferences.BuildSettings"
|
||||||
|
|
Loading…
Add table
Reference in a new issue