ws-thredds-sync-widget/.settings
Francesco Mangiacrapa 2febd06a04 Changed the roles to "Data-Editor", "Data-Manager" according to #20889 2021-03-08 10:55:48 +01:00
..
.jsdtscope Initial import from private svn 2018-03-02 16:03:57 +00:00
com.gwtplugins.gdt.eclipse.core.prefs Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.core.resources.prefs Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.jdt.core.prefs Changed the roles to "Data-Editor", "Data-Manager" according to #20889 2021-03-08 10:55:48 +01:00
org.eclipse.m2e.core.prefs Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.wst.common.component Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.wst.common.project.facet.core.prefs.xml Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.wst.common.project.facet.core.xml Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.wst.jsdt.ui.superType.container Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.wst.jsdt.ui.superType.name Initial import from private svn 2018-03-02 16:03:57 +00:00
org.eclipse.wst.validation.prefs Initial import from private svn 2018-03-02 16:03:57 +00:00