workspace-tree-widget/.settings
Francesco Mangiacrapa a09fe4af69 merged with "task_20762" 2021-04-09 15:09:29 +02: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.apt.core.prefs updated pom version, added chagenlog.md, removed changelog.xml 2020-05-18 15:47:55 +02:00
org.eclipse.jdt.core.prefs updated pom version, added chagenlog.md, removed changelog.xml 2020-05-18 15:47:55 +02:00
org.eclipse.m2e.core.prefs mavenized 2013-02-06 14:40:17 +00:00
org.eclipse.wst.common.component merged with "task_20762" 2021-04-09 15:09:29 +02: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