portal-manager/.settings
Massimiliano Assante 4121f35ee3 first import 2020-05-25 12:32:12 +02:00
..
org.eclipse.core.resources.prefs Initial import. 2013-09-24 13:26:13 +00:00
org.eclipse.jdt.core.prefs first import 2020-05-25 12:32:12 +02:00
org.eclipse.m2e.core.prefs Initial import. 2013-09-24 13:26:13 +00:00
org.eclipse.wst.common.component added back compatibility method 2013-09-24 15:09:28 +00:00
org.eclipse.wst.common.project.facet.core.xml first import 2020-05-25 12:32:12 +02:00
org.eclipse.wst.validation.prefs added back compatibility method 2013-09-24 15:09:28 +00:00