From 95236f268d48cf58030d3414635cbaa024899a4a Mon Sep 17 00:00:00 2001
From: birkhoff <mike.birkhoff@gmx.de>
Date: Mon, 17 Sep 2012 15:56:31 +0200
Subject: [PATCH] fixed targetdefinition URL

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

diff --git a/build.gradle b/build.gradle
index f571cad6..06a3ff2a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,5 +1,5 @@
 
-targetRepositories = ["http://cobra.cs.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
+targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]	
 
 groupID = "de.prob"
 
-- 
GitLab