diff options
author | gindik | 2010-04-21 20:56:26 +0000 |
---|---|---|
committer | gindik | 2010-04-21 20:56:26 +0000 |
commit | 92f987ed28cc4e37a78ce25ed5916a4cec1d7ebd (patch) | |
tree | c1c4b870b85059300763ead934111049f76d8509 | |
parent | f3c44f774db7cf55eb11cc74e21ae925330184cf (diff) | |
download | webtools.maps-92f987ed28cc4e37a78ce25ed5916a4cec1d7ebd.tar.gz webtools.maps-92f987ed28cc4e37a78ce25ed5916a4cec1d7ebd.tar.xz webtools.maps-92f987ed28cc4e37a78ce25ed5916a4cec1d7ebd.zip |
[273877] - [Editor] XSD Redefines - Redefined components not deleted properly
-rw-r--r-- | releng.sourceediting/maps/wst-xml-ui.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-xml-ui.map b/releng.sourceediting/maps/wst-xml-ui.map index 4ec7b8013..6ab33608b 100644 --- a/releng.sourceediting/maps/wst-xml-ui.map +++ b/releng.sourceediting/maps/wst-xml-ui.map @@ -5,6 +5,6 @@ plugin@org.eclipse.wst.dtd.ui=v201004080109,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui plugin@org.eclipse.wst.sse.ui=v201004191719,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui plugin@org.eclipse.wst.xml.ui=v201004211519,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui -plugin@org.eclipse.wst.xsd.ui=v201004110600,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui +plugin@org.eclipse.wst.xsd.ui=v201004212054,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui !***************
\ No newline at end of file |