aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2012-12-04 16:51:18 -0800
committerGravatar Benjamin Jones <bjones@galois.com>2012-12-04 16:51:18 -0800
commit8314dbdbb1ce4e223e3ead09106e0fef05877b4f (patch)
tree68aad8c31a5d09258da770f755230592bb0868b3
parentf695071fd0d96e436ce3713d01728f7294c1447f (diff)
cleaned up dotfiles in headless dir
-rw-r--r--.gitignore2
-rw-r--r--headless/.classpath26
-rw-r--r--headless/.settings/org.eclipse.core.resources.prefs4
-rw-r--r--headless/.settings/org.eclipse.jdt.core.prefs5
-rw-r--r--headless/.settings/org.eclipse.m2e.core.prefs4
5 files changed, 2 insertions, 39 deletions
diff --git a/.gitignore b/.gitignore
index 3e73346..6e5e962 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,5 @@ doc/jsdoc
doc/manual
.project
.DS_Store
+**/.classpath
+**/.settings
diff --git a/headless/.classpath b/headless/.classpath
deleted file mode 100644
index 0a1dadd..0000000
--- a/headless/.classpath
+++ /dev/null
@@ -1,26 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
- <classpathentry kind="src" output="target/classes" path="src/main/java">
- <attributes>
- <attribute name="optional" value="true"/>
- <attribute name="maven.pomderived" value="true"/>
- </attributes>
- </classpathentry>
- <classpathentry kind="src" output="target/test-classes" path="src/test/java">
- <attributes>
- <attribute name="optional" value="true"/>
- <attribute name="maven.pomderived" value="true"/>
- </attributes>
- </classpathentry>
- <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5">
- <attributes>
- <attribute name="maven.pomderived" value="true"/>
- </attributes>
- </classpathentry>
- <classpathentry kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">
- <attributes>
- <attribute name="maven.pomderived" value="true"/>
- </attributes>
- </classpathentry>
- <classpathentry kind="output" path="target/classes"/>
-</classpath>
diff --git a/headless/.settings/org.eclipse.core.resources.prefs b/headless/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index f9fe345..0000000
--- a/headless/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,4 +0,0 @@
-eclipse.preferences.version=1
-encoding//src/main/java=UTF-8
-encoding//src/test/java=UTF-8
-encoding/<project>=UTF-8
diff --git a/headless/.settings/org.eclipse.jdt.core.prefs b/headless/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644
index abec6ca..0000000
--- a/headless/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,5 +0,0 @@
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
-org.eclipse.jdt.core.compiler.compliance=1.5
-org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
-org.eclipse.jdt.core.compiler.source=1.5
diff --git a/headless/.settings/org.eclipse.m2e.core.prefs b/headless/.settings/org.eclipse.m2e.core.prefs
deleted file mode 100644
index f897a7f..0000000
--- a/headless/.settings/org.eclipse.m2e.core.prefs
+++ /dev/null
@@ -1,4 +0,0 @@
-activeProfiles=
-eclipse.preferences.version=1
-resolveWorkspaceProjects=true
-version=1