From 1e8fdbf958c9191e0d050735e8c24ea5859c26b1 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Tue, 18 Feb 2020 16:06:09 +0100 Subject: [PATCH] clean up eclipse project files and ignore them from now on --- .classpath | 14 -------------- .gitignore | 2 ++ .project | 17 ----------------- 3 files changed, 2 insertions(+), 31 deletions(-) delete mode 100644 .classpath delete mode 100644 .project diff --git a/.classpath b/.classpath deleted file mode 100644 index 643283a..0000000 --- a/.classpath +++ /dev/null @@ -1,14 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<classpath> - <classpathentry kind="src" path="src/generated"> - <attributes> - <attribute name="ignore_optional_problems" value="true"/> - </attributes> - </classpathentry> - <classpathentry including="**" kind="src" path="src/resource"/> - <classpathentry kind="src" path="src/java"/> - <classpathentry kind="lib" path="tools/beaver.jar"/> - <classpathentry kind="lib" path="tools/junit-4.11-SNAPSHOT.jar"/> - <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/> - <classpathentry kind="output" path="bin"/> -</classpath> diff --git a/.gitignore b/.gitignore index 17f4b40..552ea58 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,6 @@ *.jar +.project +.classpath .idea/ .gradle/ build diff --git a/.project b/.project deleted file mode 100644 index 3b5285d..0000000 --- a/.project +++ /dev/null @@ -1,17 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<projectDescription> - <name>rel-rag</name> - <comment></comment> - <projects> - </projects> - <buildSpec> - <buildCommand> - <name>org.eclipse.jdt.core.javabuilder</name> - <arguments> - </arguments> - </buildCommand> - </buildSpec> - <natures> - <nature>org.eclipse.jdt.core.javanature</nature> - </natures> -</projectDescription> -- GitLab