From 6fc23a0c20ed3b62e4a7db98d85ef60d5339c0f4 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 27 Mar 2013 14:40:55 +0100
Subject: [PATCH] delete obsolete build file, should be handled by main
build.gradle
---
de.prob.core/build.gradle | 18 ------------------
1 file changed, 18 deletions(-)
delete mode 100644 de.prob.core/build.gradle
diff --git a/de.prob.core/build.gradle b/de.prob.core/build.gradle
deleted file mode 100644
index 5855fa75..00000000
--- a/de.prob.core/build.gradle
+++ /dev/null
@@ -1,18 +0,0 @@
-apply plugin: 'java'
-
-
-def parser_version = '2.4.16-SNAPSHOT'
-
-dependencies {
- compile group: "de.prob", name: "answerparser", version: parser_version , changing: true
- compile group: "de.prob", name: "bparser", version: parser_version , changing: true
- compile group: "de.prob", name: "cliparser", version: parser_version , changing: true
- compile group: "de.prob", name: "ltlparser", version: parser_version , changing: true
- compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
- compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
- compile group: "de.prob", name: "unicode", version: parser_version , changing: true
- compile 'jgrapht:jgrapht:0.8.3'
- compile 'commons-lang:commons-lang:2.6'
- compile 'commons-codec:commons-codec:1.6'
- compile 'com.thoughtworks.xstream:xstream:1.4.3'
-}
\ No newline at end of file
--
GitLab