summaryrefslogtreecommitdiff
path: root/.classpath
diff options
context:
space:
mode:
Diffstat (limited to '.classpath')
-rw-r--r--.classpath7
1 files changed, 7 insertions, 0 deletions
diff --git a/.classpath b/.classpath
new file mode 100644
index 0000000..e009d2f
--- /dev/null
+++ b/.classpath
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="src" path="src"/>
+ <classpathentry kind="con" path="ch.epfl.lamp.sdt.launching.SCALA_CONTAINER"/>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+ <classpathentry kind="output" path="bin"/>
+</classpath>