diff options
author | nsandonato | 2010-10-05 15:38:58 +0000 |
---|---|---|
committer | nsandonato | 2010-10-05 15:38:58 +0000 |
commit | 0c3014b4fda1350e7b067b0989541c77739202a2 (patch) | |
tree | 0ebb34602df098eda577cacdd5b23ae71969fff1 /releng.sourceediting/maps/wst-web-core.map | |
parent | af339c0012a0a96f81451dfa060928ea3f978e37 (diff) | |
download | webtools.maps-0c3014b4fda1350e7b067b0989541c77739202a2.tar.gz webtools.maps-0c3014b4fda1350e7b067b0989541c77739202a2.tar.xz webtools.maps-0c3014b4fda1350e7b067b0989541c77739202a2.zip |
[326632] [ui] Project web content settings is not saved when Document type is set to HTML5
Diffstat (limited to 'releng.sourceediting/maps/wst-web-core.map')
-rw-r--r-- | releng.sourceediting/maps/wst-web-core.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-web-core.map b/releng.sourceediting/maps/wst-web-core.map index c204d44d8..4ccac50d7 100644 --- a/releng.sourceediting/maps/wst-web-core.map +++ b/releng.sourceediting/maps/wst-web-core.map @@ -4,6 +4,6 @@ plugin@org.eclipse.wst.web=v201007151900,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.wst.web plugin@org.eclipse.wst.css.core=v201009281811,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.css.core -plugin@org.eclipse.wst.html.core=v201009291422,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.html.core +plugin@org.eclipse.wst.html.core=v201010051538,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.html.core !***************
\ No newline at end of file |