From 2ef2d69cbbfadfd34aeb75592e2dac3293329fc5 Mon Sep 17 00:00:00 2001
From: birkhoff <mike.birkhoff@gmx.de>
Date: Mon, 10 Dec 2012 15:35:12 +0100
Subject: [PATCH] description for gradle install added

---
 build.gradle | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build.gradle b/build.gradle
index 34cd919a..205642b5 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,3 +1,6 @@
+// to trigger a full tycho build please use 'gradle deleteFromClassPath completeInstall'
+
+
 project.ext{
 	
 	targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
-- 
GitLab