information-system-model/.settings/.gitignore

/org.eclipse.jdt.core.prefs
/org.eclipse.core.resources.prefs
/org.eclipse.m2e.core.prefs
/org.eclipse.jdt.ui.prefs
Added Resource to Resource schema definition 2020-01-16 14:00:34 +01:00			`/org.eclipse.jdt.core.prefs`
			`/org.eclipse.core.resources.prefs`
Migrating to gcube-jackson 2020-06-25 15:24:52 +02:00			`/org.eclipse.m2e.core.prefs`
Added ignore 2023-06-21 16:29:17 +02:00			`/org.eclipse.jdt.ui.prefs`