cdt/debug/org.eclipse.cdt.debug.mi.ui/plugin.properties

mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-06 17:26:01 +02:00
pluginName=C/C++ Development Tools GDB/MI CDI Debugger UI
providerName=Eclipse.org

MIPreferencePage.name=GDB MI
build changes 2002-09-26 02:16:53 +00:00			`pluginName=C/C++ Development Tools GDB/MI CDI Debugger UI`
new mi ui plugin 2002-08-28 19:09:25 +00:00			`providerName=Eclipse.org`
Implementation of preference pages. 2002-10-04 18:09:05 +00:00
			`MIPreferencePage.name=GDB MI`