From 6577f9ecfffb96af24ef1bf084b78b847de13efd Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 19 Dec 2017 00:26:39 +0000
Subject: [PATCH] Eclipse config: copy .classpath up to root dir, following
 switch from svn to git.

---
 .classpath | 16 ++++++++++++++++
 .gitignore |  6 ++++--
 2 files changed, 20 insertions(+), 2 deletions(-)
 create mode 100644 .classpath

diff --git a/.classpath b/.classpath
new file mode 100644
index 00000000..a314b2b8
--- /dev/null
+++ b/.classpath
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="prism/src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="lib" path="prism/lib/epsgraphics.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jcommon.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jfreechart.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jhoafparser.jar"/>
+	<classpathentry kind="lib" path="prism/lib/colt.jar"/>
+	<classpathentry kind="lib" path="prism/lib/pepa.zip"/>
+	<classpathentry kind="lib" path="prism/lib/lpsolve55j.jar"/>
+	<classpathentry kind="lib" path="prism/lib/jas.jar"/>
+	<classpathentry kind="lib" path="prism/lib/log4j.jar"/>
+	<classpathentry kind="lib" path="prism/lib/nailgun-server.jar"/>
+	<classpathentry kind="output" path="prism/classes"/>
+</classpath>
diff --git a/.gitignore b/.gitignore
index a755c3a4..1735b82c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,7 +25,9 @@ prism/lib/lpsolve55j.jar
 # generated CUDD headers:
 cudd/include/*.h
 
-# Eclipse project file (should not be versioned)
+# Eclipse project files (should not be versioned)
+\.project
 prism/\.project
-# Eclipse project custom settings directory
+# Eclipse project custom settings
+\.settings/
 prism/\.settings/