From baaf5236ee2666583d94634ae8d1ad39e747d434 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Wed, 5 Jul 2023 16:26:47 +0200 Subject: [PATCH] Remove unnecessary changing: true from build.gradle --- org.eventb.texteditor.parsers/build.gradle | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/org.eventb.texteditor.parsers/build.gradle b/org.eventb.texteditor.parsers/build.gradle index d8363ba..a6a2881 100644 --- a/org.eventb.texteditor.parsers/build.gradle +++ b/org.eventb.texteditor.parsers/build.gradle @@ -7,8 +7,8 @@ repositories { def parser_version = '2.4.40' dependencies { - implementation group: "de.hhu.stups", name: "bparser", version: parser_version, changing: true - implementation group: "de.hhu.stups", name: "eventbstruct", version: parser_version, changing: true + implementation group: "de.hhu.stups", name: "bparser", version: parser_version + implementation group: "de.hhu.stups", name: "eventbstruct", version: parser_version implementation 'com.google.guava:guava:14.0.1'// Apache Licence 2.0 } -- GitLab