From 064f9aad7bf3ffa3a3b16f075dfb0b279a8c8f10 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 --- terminal/org.eclipse.tm.terminal/schema/terminalConnector.exsd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminal/org.eclipse.tm.terminal/schema/terminalConnector.exsd b/terminal/org.eclipse.tm.terminal/schema/terminalConnector.exsd index fcae9c202c8..453c7491ebd 100644 --- a/terminal/org.eclipse.tm.terminal/schema/terminalConnector.exsd +++ b/terminal/org.eclipse.tm.terminal/schema/terminalConnector.exsd @@ -54,7 +54,7 @@ - + Uniquely identify this connector