Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNick Sandonato2014-04-08 19:35:36 +0000
committerNick Sandonato2014-04-08 19:35:36 +0000
commit8f32e07886703e3d59f577084f4cdc9186d0b0fc (patch)
tree7cd37d845661c8f7fe8667ad5b4c3606821e0ed2
parent90a31ae5d622093f5462f4e6c29e0e654e9fc90f (diff)
downloadwebtools.maps-8f32e07886703e3d59f577084f4cdc9186d0b0fc.tar.gz
webtools.maps-8f32e07886703e3d59f577084f4cdc9186d0b0fc.tar.xz
webtools.maps-8f32e07886703e3d59f577084f4cdc9186d0b0fc.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 fde4e05d0..111654f11 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=v201402270431,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=v201404081933,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