workspace-tree-widget/.settings
Francesco Mangiacrapa 07172813d3 Updated the configurations to git 2020-02-03 16:39:29 +01:00
..
com.google.appengine.eclipse.core.prefs 429: Workspace: uploading big files 2015-10-06 08:46:17 +00:00
com.google.gdt.eclipse.core.prefs changed icon for public and share link 2013-09-04 13:52:53 +00:00
com.google.gwt.eclipse.core.prefs mavenized 2013-02-06 14:40:17 +00:00
com.gwtplugins.gdt.eclipse.core.prefs Updated the configurations to git 2020-02-03 16:39:29 +01:00
com.gwtplugins.gwt.eclipse.core.prefs Updated the configurations to git 2020-02-03 16:39:29 +01:00
org.eclipse.core.resources.prefs ref 17169: Selection of users in the Sharing panel 2019-07-23 10:02:03 +00:00
org.eclipse.jdt.core.prefs moved to SHUB getItemForFileGrid 2019-06-19 12:10:24 +00:00
org.eclipse.m2e.core.prefs mavenized 2013-02-06 14:40:17 +00:00
org.eclipse.wst.common.component updated maven.compiler.source 1.8 2018-03-01 14:05:57 +00:00
org.eclipse.wst.common.project.facet.core.xml filter for operation list into history was sorted 2013-12-16 17:33:36 +00:00
org.eclipse.wst.validation.prefs changed icon for public and share link 2013-09-04 13:52:53 +00:00