diff options
author | nsandonato | 2010-11-15 20:23:34 +0000 |
---|---|---|
committer | nsandonato | 2010-11-15 20:23:34 +0000 |
commit | 9974d7b196beb7f316d2344fc7b36853f21beeff (patch) | |
tree | 49572aa2ee4d2f7d6a7f8ce5fc75b6883966d1b6 | |
parent | 2bc501402fe8db040d7ed1c1e0d8b1e3a25b0e34 (diff) | |
download | webtools.maps-9974d7b196beb7f316d2344fc7b36853f21beeff.tar.gz webtools.maps-9974d7b196beb7f316d2344fc7b36853f21beeff.tar.xz webtools.maps-9974d7b196beb7f316d2344fc7b36853f21beeff.zip |
[161656] [ui] Task Tags preference page Filters tab should use a sash
-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 56f48fe40..63da8de0b 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 HEAD branch plugin@org.eclipse.wst.dtd.ui=v201010291852,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui -plugin@org.eclipse.wst.sse.ui=v201010292144,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui +plugin@org.eclipse.wst.sse.ui=v201011152023,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui plugin@org.eclipse.wst.xml.ui=v201011151911,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=v201011012148,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui |