Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

ProB Rodin Plugin
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Model experiments

Snippets Groups Projects

be16f3f1

Commit be16f3f1 authored 1 year ago by dgelessus

Downloads
- Patches
- Plain Diff

Download Groovy from Maven Central instead of using jars in repo

parent a1da71fa

Branches

No related tags found

Loading

Checking pipeline status

Changes 6
Pipelines 1

Show whitespace changes

Inline Side-by-side

Showing

build.gradle 1 addition, 0 deletions

build.gradle
de.bmotionstudio.gef.editor/.classpath 7 additions, 3 deletions

de.bmotionstudio.gef.editor/.classpath
de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF 8 additions, 4 deletions

de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
de.bmotionstudio.gef.editor/lib/ext/antlr-2.7.7.jar 0 additions, 0 deletions

de.bmotionstudio.gef.editor/lib/ext/antlr-2.7.7.jar
de.bmotionstudio.gef.editor/lib/ext/asm-4.0.jar 0 additions, 0 deletions

de.bmotionstudio.gef.editor/lib/ext/asm-4.0.jar
de.bmotionstudio.gef.editor/lib/ext/groovy-2.0.5.jar 0 additions, 0 deletions

de.bmotionstudio.gef.editor/lib/ext/groovy-2.0.5.jar

with 16 additions and 7 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment