From 5e631a65394ccb955c6fc58585263327a5b07677 Mon Sep 17 00:00:00 2001
From: birkhoff <mike.birkhoff@gmx.de>
Date: Mon, 30 Jul 2012 14:06:03 +0200
Subject: [PATCH] error in de.prob.core/build.gradle
---
de.prob.core/build.gradle | 7 -------
1 file changed, 7 deletions(-)
diff --git a/de.prob.core/build.gradle b/de.prob.core/build.gradle
index 0060cb63..15015347 100644
--- a/de.prob.core/build.gradle
+++ b/de.prob.core/build.gradle
@@ -1,12 +1,5 @@
apply plugin: 'java'
-repositories {
- maven {
- name "cobra"
- url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
- }
-}
-
def parser_version = '2.4.8-SNAPSHOT'
--
GitLab