wps/.settings
Giancarlo Panichi 7d63e1a17a Update config 2022-05-09 10:28:55 +02:00
..
.jsdtscope Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.core.resources.prefs Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.jdt.core.prefs Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.m2e.core.prefs Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.wst.common.component Update config 2022-05-09 10:28:55 +02:00
org.eclipse.wst.common.project.facet.core.prefs.xml Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.wst.common.project.facet.core.xml Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.wst.jsdt.ui.superType.container Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.wst.jsdt.ui.superType.name Updated for release 2022-03-15 11:15:20 +01:00
org.eclipse.wst.validation.prefs Updated for release 2022-03-15 11:15:20 +01:00