Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNick Sandonato2014-04-24 03:20:49 +0000
committerNick Sandonato2014-04-24 03:20:49 +0000
commit35596dbede31574ac73cf968b17d18b72cf57141 (patch)
tree5834a066227b52e7ab3683a26429fdca4b9dae55
parente07bd2a532e644098ddaf02523097227a2dbf6bb (diff)
downloadwebtools.maps-35596dbede31574ac73cf968b17d18b72cf57141.tar.gz
webtools.maps-35596dbede31574ac73cf968b17d18b72cf57141.tar.xz
webtools.maps-35596dbede31574ac73cf968b17d18b72cf57141.zip
[430312] If two highlighters always report same Position they are interchangeably used
-rw-r--r--releng.sourceediting/maps/wst-xml-ui.map2
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 111654f11..bae976ea2 100644
--- a/releng.sourceediting/maps/wst-xml-ui.map
+++ b/releng.sourceediting/maps/wst-xml-ui.map
@@ -3,7 +3,7 @@
! These bundles are currently being developed and released from the master branch
plugin@org.eclipse.wst.dtd.ui=GIT,tag=v201308100603,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.dtd.ui
-plugin@org.eclipse.wst.sse.ui=GIT,tag=v201404081933,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.sse.ui
+plugin@org.eclipse.wst.sse.ui=GIT,tag=v201404240319,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.sse.ui
plugin@org.eclipse.wst.xml.ui=GIT,tag=v201403122203,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.xml.ui
plugin@org.eclipse.wst.xsd.ui=GIT,tag=v201203081826,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.xsd.ui

Back to the top