From 2f82bc3ba2a9e3369aace57db02b1a4432b513c4 Mon Sep 17 00:00:00 2001
From: benfry <fry@processing.org>
Date: Sat, 11 Oct 2008 14:31:28 +0000
Subject: [PATCH] removing separate xml library, now part of core

---
 xml/.classpath                           |  7 -------
 xml/.project                             | 17 -----------------
 xml/.settings/org.eclipse.jdt.core.prefs | 12 ------------
 xml/.settings/org.eclipse.jdt.ui.prefs   |  3 ---
 4 files changed, 39 deletions(-)
 delete mode 100644 xml/.classpath
 delete mode 100644 xml/.project
 delete mode 100644 xml/.settings/org.eclipse.jdt.core.prefs
 delete mode 100644 xml/.settings/org.eclipse.jdt.ui.prefs

diff --git a/xml/.classpath b/xml/.classpath
deleted file mode 100644
index 41fe59ef2..000000000
--- a/xml/.classpath
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
-	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
-	<classpathentry combineaccessrules="false" kind="src" path="/core"/>
-	<classpathentry kind="output" path="bin"/>
-</classpath>
diff --git a/xml/.project b/xml/.project
deleted file mode 100644
index 812876084..000000000
--- a/xml/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>xml</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>
diff --git a/xml/.settings/org.eclipse.jdt.core.prefs b/xml/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644
index 2a4a7a74c..000000000
--- a/xml/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,12 +0,0 @@
-#Sat Nov 11 09:05:57 EST 2006
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.1
-org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=1.3
-org.eclipse.jdt.core.compiler.debug.lineNumber=generate
-org.eclipse.jdt.core.compiler.debug.localVariable=generate
-org.eclipse.jdt.core.compiler.debug.sourceFile=generate
-org.eclipse.jdt.core.compiler.problem.assertIdentifier=ignore
-org.eclipse.jdt.core.compiler.problem.enumIdentifier=ignore
-org.eclipse.jdt.core.compiler.source=1.3
diff --git a/xml/.settings/org.eclipse.jdt.ui.prefs b/xml/.settings/org.eclipse.jdt.ui.prefs
deleted file mode 100644
index 4181821af..000000000
--- a/xml/.settings/org.eclipse.jdt.ui.prefs
+++ /dev/null
@@ -1,3 +0,0 @@
-#Sat Nov 11 09:05:57 EST 2006
-eclipse.preferences.version=1
-internal.default.compliance=default