mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-02 22:55:26 +02:00
Code Issues Wiki Activity

199285: [terminal][api] id is optional to not break API

Browse source 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=199285
This commit is contained in:
Michael Scharf 2007-10-05 13:01:02 +00:00
parent 249a6c3753
commit 064f9aad7b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
terminal/org.eclipse.tm.terminal/schema/terminalConnector.exsd
View file

@ -54,7 +54,7 @@
</appInfo>
</annotation>
</attribute>
<attribute name="id" type="string" use="required">
<attribute name="id" type="string">
<annotation>
<documentation>
Uniquely identify this connector