cdt/terminal/org.eclipse.tm.terminal/schema at 0e0573305da7acdaa03af866dd173f18b13da515 - mirrors/cdt

mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-06 08:35:26 +02:00

History

Michael Scharf 064f9aad7b 199285: [terminal][api] id is optional to not break API https://bugs.eclipse.org/bugs/show_bug.cgi?id=199285		2007-10-05 13:01:02 +00:00
..
terminalConnector.exsd	199285: [terminal][api] id is optional to not break API	2007-10-05 13:01:02 +00:00