From 93676576bf5c35297d1e91b5e68917cad6d593bd Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Fri, 6 Oct 2023 10:34:36 +0200 Subject: [PATCH] Remove and ignore Eclipse project files This is a standard Java/Gradle project - these files have no relevant customization. --- .classpath | 6 ------ .gitignore | 9 +++++++++ .project | 16 ---------------- .settings/org.eclipse.jdt.core.prefs | 13 ------------- 4 files changed, 9 insertions(+), 35 deletions(-) delete mode 100644 .classpath delete mode 100644 .project delete mode 100644 .settings/org.eclipse.jdt.core.prefs diff --git a/.classpath b/.classpath deleted file mode 100644 index d350fb0..0000000 --- a/.classpath +++ /dev/null @@ -1,6 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<classpath> - <classpathentry kind="output" path="bin"/> - <classpathentry kind="src" path="src"/> - <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER" exported="true"/> -</classpath> diff --git a/.gitignore b/.gitignore index 8b0a5d6..f2b330f 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,14 @@ /bin/ /src/org/eventb/internal/core/typecheck/TypeUnifier.java + +# Gradle .gradle build + +# Eclipse +.classpath +.project +.settings + +# Misc local.* diff --git a/.project b/.project deleted file mode 100644 index 8f4500f..0000000 --- a/.project +++ /dev/null @@ -1,16 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<projectDescription> - <name>rodin-ast</name> - <comment/> - <projects/> - <natures> - <nature>org.eclipse.jdt.core.javanature</nature> - </natures> - <buildSpec> - <buildCommand> - <name>org.eclipse.jdt.core.javabuilder</name> - <arguments/> - </buildCommand> - </buildSpec> - <linkedResources/> -</projectDescription> diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 94e1867..0000000 --- a/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,13 +0,0 @@ -# -#Thu Aug 06 12:20:19 CEST 2015 -org.eclipse.jdt.core.compiler.debug.localVariable=generate -org.eclipse.jdt.core.compiler.compliance=1.8 -org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.debug.sourceFile=generate -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.debug.lineNumber=generate -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.source=1.8 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -- GitLab