grsf-manage-widget/.settings
Francesco Mangiacrapa ae9ec66e6d moved to git 2020-06-22 16:21:24 +02:00
..
.jsdtscope first import 2017-01-26 17:21:33 +00:00
com.google.appengine.eclipse.core.prefs minor fixes 2017-01-27 15:14:14 +00:00
com.google.gdt.eclipse.core.prefs several improvements 2018-02-03 18:17:37 +00:00
com.google.gwt.eclipse.core.prefs minor fixes 2017-01-27 15:14:14 +00:00
org.eclipse.core.resources.prefs first import 2017-01-26 17:21:33 +00:00
org.eclipse.jdt.core.prefs moved to git 2020-06-22 16:21:24 +02:00
org.eclipse.m2e.core.prefs first import 2017-01-26 17:21:33 +00:00
org.eclipse.wst.common.component css and minor fixes 2018-02-14 15:25:23 +00:00
org.eclipse.wst.common.project.facet.core.xml added report and hastags evaluation. Partially revised the SocialCommunication class 2018-02-05 16:16:14 +00:00
org.eclipse.wst.jsdt.ui.superType.container first import 2017-01-26 17:21:33 +00:00
org.eclipse.wst.jsdt.ui.superType.name first import 2017-01-26 17:21:33 +00:00
org.eclipse.wst.validation.prefs first import 2017-01-26 17:21:33 +00:00