diff options
author | Chris Jaun | 2013-08-28 21:32:49 +0000 |
---|---|---|
committer | Chris Jaun | 2013-08-28 21:32:49 +0000 |
commit | b0ff234e6e8e5d0edcfab1c32b58ca59fe6721f0 (patch) | |
tree | 6f027bfe64b96568adcf303ff1930325f784be17 | |
parent | 2bf167b9e04ff94125c8b4dbe980536c12fc12c9 (diff) | |
download | webtools.maps-b0ff234e6e8e5d0edcfab1c32b58ca59fe6721f0.tar.gz webtools.maps-b0ff234e6e8e5d0edcfab1c32b58ca59fe6721f0.tar.xz webtools.maps-b0ff234e6e8e5d0edcfab1c32b58ca59fe6721f0.zip |
editors that are instanceof ITextEditor
-rw-r--r-- | releng.sourceediting/maps/wst-jsdt-web.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-jsdt-web.map b/releng.sourceediting/maps/wst-jsdt-web.map index 47fe90005..7835c128d 100644 --- a/releng.sourceediting/maps/wst-jsdt-web.map +++ b/releng.sourceediting/maps/wst-jsdt-web.map @@ -4,6 +4,6 @@ plugin@org.eclipse.wst.jsdt.web.core=GIT,tag=v201307162035,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.jsdt.web.core plugin@org.eclipse.wst.jsdt.web.support.jsp=GIT,tag=v201307162035,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.jsdt.web.support.jsp -plugin@org.eclipse.wst.jsdt.web.ui=GIT,tag=v201307162035,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.jsdt.web.ui +plugin@org.eclipse.wst.jsdt.web.ui=GIT,tag=v201308282108,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.jsdt.web.ui !*************** |