From a26aaa1e7191552620eb85c91d6aa9d8d81890fb Mon Sep 17 00:00:00 2001 From: Michael Scharf Date: Fri, 5 Oct 2007 13:01:02 +0000 Subject: [PATCH] 199285: [terminal][api] id is optional to not break API https://bugs.eclipse.org/bugs/show_bug.cgi?id=199285 --- org.eclipse.tm.terminal/schema/terminalConnector.exsd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/org.eclipse.tm.terminal/schema/terminalConnector.exsd b/org.eclipse.tm.terminal/schema/terminalConnector.exsd index fcae9c202c8..453c7491ebd 100644 --- a/org.eclipse.tm.terminal/schema/terminalConnector.exsd +++ b/org.eclipse.tm.terminal/schema/terminalConnector.exsd @@ -54,7 +54,7 @@ - + Uniquely identify this connector