vremanagers-groups-portlet/.settings
Massimiliano Assante 33995adfcc Ported to Java 11 and GWT 2.10 2022-11-15 11:02:29 +01:00
..
.jsdtscope Initial import. 2014-11-27 18:01:21 +00:00
com.google.appengine.eclipse.core.prefs Initial import. 2014-11-27 18:01:21 +00:00
com.google.gdt.eclipse.core.prefs Portlet's name changed to Settings. It now contains also the leave group option (if available) 2016-05-06 16:12:32 +00:00
com.google.gwt.eclipse.core.prefs Initial import. 2014-11-27 18:01:21 +00:00
org.eclipse.core.resources.prefs Initial import. 2014-11-27 18:01:21 +00:00
org.eclipse.jdt.core.prefs Support #12736, VRE Managers and Groups: text misaligned 2018-10-22 10:29:42 +00:00
org.eclipse.jst.jsp.core.prefs Integrated gwt-bootstrap and revised css, ported to GWT 2.7.0 2015-04-28 13:37:50 +00:00
org.eclipse.m2e.core.prefs Initial import. 2014-11-27 18:01:21 +00:00
org.eclipse.wst.common.component Ported to Java 11 and GWT 2.10 2022-11-15 11:02:29 +01:00
org.eclipse.wst.common.project.facet.core.xml Support #12736, VRE Managers and Groups: text misaligned 2018-10-22 10:29:42 +00:00
org.eclipse.wst.jsdt.ui.superType.container Initial import. 2014-11-27 18:01:21 +00:00
org.eclipse.wst.validation.prefs Initial import. 2014-11-27 18:01:21 +00:00
org.maven.ide.eclipse.prefs Initial import. 2014-11-27 18:01:21 +00:00