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 | |
| 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')
| -rw-r--r-- | releng.sourceediting/maps/wst-web-core.map | 2 | ||||
| -rw-r--r-- | releng.sourceediting/maps/wst-web-ui.map | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/releng.sourceediting/maps/wst-web-ui.map b/releng.sourceediting/maps/wst-web-ui.map index f85cdaa26..e04c4e4ce 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=v201004141630,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/plugins/org.eclipse.wst.web.ui plugin@org.eclipse.wst.css.ui=v201009281743,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.css.ui -plugin@org.eclipse.wst.html.ui=v201009082014,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.html.ui +plugin@org.eclipse.wst.html.ui=v201010051538,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.html.ui !***************
\ No newline at end of file |