From 8b3d5e899f34b89995d5fd7de6ccaed83f973cba Mon Sep 17 00:00:00 2001
From: Christian Wulf <chw@informatik.uni-kiel.de>
Date: Thu, 31 Jul 2014 13:07:40 +0200
Subject: [PATCH] added JCTools as submodule

---
 .gitmodules        | 3 +++
 pom.xml            | 1 +
 submodules/JCTools | 1 +
 3 files changed, 5 insertions(+)
 create mode 100644 .gitmodules
 create mode 160000 submodules/JCTools

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 00000000..d563a261
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "submodules/JCTools"]
+	path = submodules/JCTools
+	url = https://github.com/JCTools/JCTools
diff --git a/pom.xml b/pom.xml
index c25e9dc9..e2a4a58d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -50,6 +50,7 @@
 			<version>17.0</version>
 		</dependency>
 		<dependency>
+<!-- 			clone and install the following project to your local maven repository: https://github.com/JCTools/JCTools -->
 			<groupId>org.jctools</groupId>
 			<artifactId>jctools-core</artifactId>
 			<version>1.0-SNAPSHOT</version>
diff --git a/submodules/JCTools b/submodules/JCTools
new file mode 160000
index 00000000..74477eaa
--- /dev/null
+++ b/submodules/JCTools
@@ -0,0 +1 @@
+Subproject commit 74477eaa00d1c9efe693bd86b705f3ee5aa57b67
-- 
GitLab