diff options
author | Nick Sandonato | 2014-04-08 19:35:36 +0000 |
---|---|---|
committer | Nick Sandonato | 2014-04-08 19:35:36 +0000 |
commit | 8f32e07886703e3d59f577084f4cdc9186d0b0fc (patch) | |
tree | 7cd37d845661c8f7fe8667ad5b4c3606821e0ed2 | |
parent | 90a31ae5d622093f5462f4e6c29e0e654e9fc90f (diff) | |
download | webtools.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.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 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 |