From ee9d405bc917be3f596ccd2ffd2d7ddc01687d31 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 28 Aug 2017 16:27:12 +0200 Subject: Starts the Instance Calculator --- instance-calculator/src/.java_classpath | 1 + 1 file changed, 1 insertion(+) create mode 100644 instance-calculator/src/.java_classpath (limited to 'instance-calculator/src/.java_classpath') 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 -- cgit v1.2.3-70-g09d2