diff --git a/ummisco.gama.ui.modeling/.settings/org.eclipse.jdt.core.prefs b/ummisco.gama.ui.modeling/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 7c61a1723a..0000000000 --- a/ummisco.gama.ui.modeling/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,12 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.builder.cleanOutputFolder=clean -org.eclipse.jdt.core.builder.duplicateResourceTask=warning -org.eclipse.jdt.core.builder.invalidClasspath=abort -org.eclipse.jdt.core.builder.recreateModifiedClassFileInOutputFolder=ignore -org.eclipse.jdt.core.builder.resourceCopyExclusionFilter=*.launch, *.xtend -org.eclipse.jdt.core.circularClasspath=error -org.eclipse.jdt.core.classpath.exclusionPatterns=enabled -org.eclipse.jdt.core.classpath.multipleOutputLocations=enabled -org.eclipse.jdt.core.compiler.maxProblemPerUnit=100 -org.eclipse.jdt.core.incompatibleJDKLevel=ignore -org.eclipse.jdt.core.incompleteClasspath=error diff --git a/ummisco.gama.ui.modeling/.settings/org.eclipse.jdt.launching.prefs b/ummisco.gama.ui.modeling/.settings/org.eclipse.jdt.launching.prefs deleted file mode 100644 index 940d7b0663..0000000000 --- a/ummisco.gama.ui.modeling/.settings/org.eclipse.jdt.launching.prefs +++ /dev/null @@ -1,2 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning