diff options
author | amywu | 2008-05-29 18:46:36 +0000 |
---|---|---|
committer | amywu | 2008-05-29 18:46:36 +0000 |
commit | cbb3b193275c81640a5ac20027d6eaba3577134c (patch) | |
tree | 0f9632ea1476aec5bf10749736a63cce6ce56fb7 /releng.sourceediting | |
parent | 8db0103223f66b985590856b69aee52b0ea301c6 (diff) | |
download | webtools.maps-cbb3b193275c81640a5ac20027d6eaba3577134c.tar.gz webtools.maps-cbb3b193275c81640a5ac20027d6eaba3577134c.tar.xz webtools.maps-cbb3b193275c81640a5ac20027d6eaba3577134c.zip |
[234377] Adding "next catalog" in xml catalog preferences does nothing
Diffstat (limited to 'releng.sourceediting')
-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 532d926ac..63e01d53b 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=v200805152207,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui plugin@org.eclipse.wst.sse.ui=v200805221633,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui -plugin@org.eclipse.wst.xml.ui=v200805281955,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui +plugin@org.eclipse.wst.xml.ui=v200805291846,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=v200805151943,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui !***************
\ No newline at end of file |