diff options
author | Nick Sandonato | 2013-05-15 20:48:25 +0000 |
---|---|---|
committer | Nick Sandonato | 2013-05-15 20:48:25 +0000 |
commit | c9273e4fb6fa4512bf51b515afdc7c7cb2ec3399 (patch) | |
tree | 3300e3f6c89594665f77532df3cc895c90da67d7 /releng.sourceediting/maps/wst-web-ui.map | |
parent | 6f1180c560b1926e848a8969d21ba060a8fee62a (diff) | |
download | webtools.maps-c9273e4fb6fa4512bf51b515afdc7c7cb2ec3399.tar.gz webtools.maps-c9273e4fb6fa4512bf51b515afdc7c7cb2ec3399.tar.xz webtools.maps-c9273e4fb6fa4512bf51b515afdc7c7cb2ec3399.zip |
[404734] Make HTML5 the default for new html files creation
Diffstat (limited to 'releng.sourceediting/maps/wst-web-ui.map')
-rw-r--r-- | releng.sourceediting/maps/wst-web-ui.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-web-ui.map b/releng.sourceediting/maps/wst-web-ui.map index b17a62435..35e753058 100644 --- a/releng.sourceediting/maps/wst-web-ui.map +++ b/releng.sourceediting/maps/wst-web-ui.map @@ -4,6 +4,6 @@ plugin@org.eclipse.wst.web.ui=GIT,tag=v201109220400,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.wst.web.ui plugin@org.eclipse.wst.css.ui=GIT,tag=v201302140348,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.css.ui -plugin@org.eclipse.wst.html.ui=GIT,tag=v201302140348,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.html.ui +plugin@org.eclipse.wst.html.ui=GIT,tag=v201305152046,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.html.ui !*************** |