diff options
author | Nick Sandonato | 2014-04-24 03:20:49 +0000 |
---|---|---|
committer | Nick Sandonato | 2014-04-24 03:20:49 +0000 |
commit | 35596dbede31574ac73cf968b17d18b72cf57141 (patch) | |
tree | 5834a066227b52e7ab3683a26429fdca4b9dae55 | |
parent | e07bd2a532e644098ddaf02523097227a2dbf6bb (diff) | |
download | webtools.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.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 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 |