diff options
| author | vbaciu | 2007-12-12 19:00:50 +0000 |
|---|---|---|
| committer | vbaciu | 2007-12-12 19:00:50 +0000 |
| commit | 0be7bc3790e068c6eec660df0aa4965131904a18 (patch) | |
| tree | cfd3e19940f17c1dae3d09b31bae174a466ab5f0 | |
| parent | 7cb0d488ae590bb115fc4e48dd4e591b92074e2c (diff) | |
| download | webtools.maps-0be7bc3790e068c6eec660df0aa4965131904a18.tar.gz webtools.maps-0be7bc3790e068c6eec660df0aa4965131904a18.tar.xz webtools.maps-0be7bc3790e068c6eec660df0aa4965131904a18.zip | |
[136325] xml properties page does not handle namespace prefixes correctly
| -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 9d48f9661..3c55e9083 100644 --- a/releng.sourceediting/maps/wst-xml-ui.map +++ b/releng.sourceediting/maps/wst-xml-ui.map @@ -8,7 +8,7 @@ plugin@org.eclipse.wst.dtd.ui=v200711062234,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui plugin@org.eclipse.wst.sse.ui=v200712070630,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui -plugin@org.eclipse.wst.xml.ui=v200712121343,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui +plugin@org.eclipse.wst.xml.ui=v200712121400,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=v200712041730,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui !***************
\ No newline at end of file |