diff --git a/build.gradle b/build.gradle index 321f898d14f124a290e98e7f5352a0238dfae95a..058ad3e0c405429c94d0aa4f89c5eb757d273f82 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) {