wps/.settings
Giancarlo Panichi 65f53b7769 Updated for release gCube 5.13.1 2022-09-05 16:53:41 +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 Updated for release gCube 5.13.1 2022-09-05 16:53:41 +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