From 7234174bb8d830c0d1f4faf412aef2721b4c3197 Mon Sep 17 00:00:00 2001
From: birkhoff <mike.birkhoff@gmx.de>
Date: Fri, 20 Apr 2012 18:01:58 +0200
Subject: [PATCH] selbes Build Script wie bei Lukas

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 321f898d..058ad3e0 100644
--- a/build.gradle
+++ b/build.gradle
@@ -21,7 +21,7 @@ and is now being used within Siemens."""] ]		// label and descriptions of the fe
 repositoryName	=	"de.prob.repository"		// will be the folder name
 parentID		= 	"de.prob.parent"			// will be the same as the folder name
 
-targetRepositories = ["http://rodin-b-sharp.sourceforge.net/core-updates"]		// ps Repositories containing Target Features. Indigo repository is hardwired, do not add it here
+targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/"]		// ps Repository with Target Definition File
 
 
 def download(address,target) {
-- 
GitLab