summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-28 16:27:12 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-28 16:27:12 +0200
commitee9d405bc917be3f596ccd2ffd2d7ddc01687d31 (patch)
treef9287d5bc3cd50f7251e459751e49043d0e54525 /instance-calculator/src/.java_classpath
parent2a13a7957f08429c8b5c905032b26c51de57885f (diff)
Starts the Instance Calculator
Diffstat (limited to 'instance-calculator/src/.java_classpath')
-rw-r--r--instance-calculator/src/.java_classpath1
1 files changed, 1 insertions, 0 deletions
diff --git a/instance-calculator/src/.java_classpath b/instance-calculator/src/.java_classpath
new file mode 100644
index 0000000..5e14ac9
--- /dev/null
+++ b/instance-calculator/src/.java_classpath
@@ -0,0 +1 @@
+../kodkod.jar