diff options
author | Benjamin Jones <bjones@galois.com> | 2012-12-04 16:51:18 -0800 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2012-12-04 16:51:18 -0800 |
commit | 8314dbdbb1ce4e223e3ead09106e0fef05877b4f (patch) | |
tree | 68aad8c31a5d09258da770f755230592bb0868b3 /headless | |
parent | f695071fd0d96e436ce3713d01728f7294c1447f (diff) |
cleaned up dotfiles in headless dir
Diffstat (limited to 'headless')
-rw-r--r-- | headless/.classpath | 26 | ||||
-rw-r--r-- | headless/.settings/org.eclipse.core.resources.prefs | 4 | ||||
-rw-r--r-- | headless/.settings/org.eclipse.jdt.core.prefs | 5 | ||||
-rw-r--r-- | headless/.settings/org.eclipse.m2e.core.prefs | 4 |
4 files changed, 0 insertions, 39 deletions
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 |