Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMikhail Khodjaiants2002-10-04 14:09:05 -0400
committerMikhail Khodjaiants2002-10-04 14:09:05 -0400
commit1145258fd674cb3a79a77a70aecc0cdb25973d33 (patch)
tree57b3b817b8d4ed22fdfa07f04d60c90b7c55f948 /debug/org.eclipse.cdt.debug.mi.ui/plugin.properties
parent452737ae51c62454b35d62110a256284912ee24f (diff)
downloadorg.eclipse.cdt-1145258fd674cb3a79a77a70aecc0cdb25973d33.tar.gz
org.eclipse.cdt-1145258fd674cb3a79a77a70aecc0cdb25973d33.tar.xz
org.eclipse.cdt-1145258fd674cb3a79a77a70aecc0cdb25973d33.zip
Implementation of preference pages.
Diffstat (limited to 'debug/org.eclipse.cdt.debug.mi.ui/plugin.properties')
-rw-r--r--debug/org.eclipse.cdt.debug.mi.ui/plugin.properties2
1 files changed, 2 insertions, 0 deletions
diff --git a/debug/org.eclipse.cdt.debug.mi.ui/plugin.properties b/debug/org.eclipse.cdt.debug.mi.ui/plugin.properties
index 9960270771..efdba4504d 100644
--- a/debug/org.eclipse.cdt.debug.mi.ui/plugin.properties
+++ b/debug/org.eclipse.cdt.debug.mi.ui/plugin.properties
@@ -1,2 +1,4 @@
pluginName=C/C++ Development Tools GDB/MI CDI Debugger UI
providerName=Eclipse.org
+
+MIPreferencePage.name=GDB MI

Back to the top