From c9b5545b4ad8f74bb6e1262285f617d92ceff94b Mon Sep 17 00:00:00 2001
From: Christian Wulf <chw@informatik.uni-kiel.de>
Date: Thu, 31 Jul 2014 14:07:50 +0200
Subject: [PATCH] changed comment in pom

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index e2a4a58d..7f14a891 100644
--- a/pom.xml
+++ b/pom.xml
@@ -50,7 +50,7 @@
 			<version>17.0</version>
 		</dependency>
 		<dependency>
-<!-- 			clone and install the following project to your local maven repository: https://github.com/JCTools/JCTools -->
+<!-- 			install the following project to your local maven repository from submodule: JCTools -->
 			<groupId>org.jctools</groupId>
 			<artifactId>jctools-core</artifactId>
 			<version>1.0-SNAPSHOT</version>
-- 
GitLab