3 files changed, 0 insertions, 65 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.incquery.patternlanguage.emf.EMFPatternLanguage.prefs b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.incquery.patternlanguage.emf.EMFPatternLanguage.prefs
deleted file mode 100644
index 1555fd84..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.incquery.patternlanguage.emf.EMFPatternLanguage.prefs
+++ /dev/null
@@ -1,29 +0,0 @@
-BuilderConfiguration.is_project_specific=true
-autobuilding=true
-eclipse.preferences.version=1
-generateGeneratedAnnotation=false
-generateSuppressWarnings=true
-generatedAnnotationComment=
-includeDateInGenerated=false
-outlet.DEFAULT_OUTPUT.cleanDirectory=false
-outlet.DEFAULT_OUTPUT.cleanupDerived=true
-outlet.DEFAULT_OUTPUT.createDirectory=true
-outlet.DEFAULT_OUTPUT.derived=true
-outlet.DEFAULT_OUTPUT.directory=./viatra-gen
-outlet.DEFAULT_OUTPUT.hideLocalSyntheticVariables=true
-outlet.DEFAULT_OUTPUT.installDslAsPrimarySource=false
-outlet.DEFAULT_OUTPUT.keepLocalHistory=true
-outlet.DEFAULT_OUTPUT.override=true
-outlet.DEFAULT_OUTPUT.sourceFolder.ecore-gen.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.ecore-gen.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.queries.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.queries.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.src-gen.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.src-gen.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.src.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.src.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.xtend-gen.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.xtend-gen.ignore=
-outlet.DEFAULT_OUTPUT.userOutputPerSourceFolder=
-targetJavaVersion=JAVA5
-useJavaCompilerCompliance=true
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.jdt.core.prefs b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644
index 0c68a61d..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,7 +0,0 @@
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
-org.eclipse.jdt.core.compiler.compliance=1.8
-org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
-org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.prefs b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.prefs
deleted file mode 100644
index e346b3ed..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/.settings/org.eclipse.viatra.query.patternlanguage.emf.EMFPatternLanguage.prefs
+++ /dev/null
@@ -1,29 +0,0 @@
-BuilderConfiguration.is_project_specific=true
-autobuilding=true
-eclipse.preferences.version=1
-generateGeneratedAnnotation=false
-generateSuppressWarnings=true
-generatedAnnotationComment=
-includeDateInGenerated=false
-outlet.DEFAULT_OUTPUT.cleanDirectory=true
-outlet.DEFAULT_OUTPUT.cleanupDerived=true
-outlet.DEFAULT_OUTPUT.createDirectory=true
-outlet.DEFAULT_OUTPUT.derived=true
-outlet.DEFAULT_OUTPUT.directory=./vql-gen
-outlet.DEFAULT_OUTPUT.hideLocalSyntheticVariables=true
-outlet.DEFAULT_OUTPUT.installDslAsPrimarySource=false
-outlet.DEFAULT_OUTPUT.keepLocalHistory=true
-outlet.DEFAULT_OUTPUT.override=true
-outlet.DEFAULT_OUTPUT.sourceFolder.ecore-gen.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.ecore-gen.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.queries.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.queries.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.src.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.src.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.viatra-gen.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.viatra-gen.ignore=
-outlet.DEFAULT_OUTPUT.sourceFolder.xtend-gen.directory=
-outlet.DEFAULT_OUTPUT.sourceFolder.xtend-gen.ignore=
-outlet.DEFAULT_OUTPUT.userOutputPerSourceFolder=
-targetJavaVersion=JAVA5
-useJavaCompilerCompliance=true