diff options
author | 2023-08-26 21:44:58 +0200 | |
---|---|---|
committer | 2023-08-26 22:01:33 +0200 | |
commit | a49083f31679c47e1685e0cedbc9a40cc8f48fd8 (patch) | |
tree | d0702f26342297f54124900ecfc52e04c3e16d6f /gradle/libs.versions.toml | |
parent | feat(frontend): automatic fit zoom (diff) | |
download | refinery-a49083f31679c47e1685e0cedbc9a40cc8f48fd8.tar.gz refinery-a49083f31679c47e1685e0cedbc9a40cc8f48fd8.tar.zst refinery-a49083f31679c47e1685e0cedbc9a40cc8f48fd8.zip |
refactor(frontent): improve graph drawing
Diffstat (limited to 'gradle/libs.versions.toml')
-rw-r--r-- | gradle/libs.versions.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 637e68c6..45d3b35f 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml | |||
@@ -23,6 +23,7 @@ ecore-codegen = { group = "org.eclipse.emf", name = "org.eclipse.emf.codegen.eco | |||
23 | gradlePlugin-frontend = { group = "org.siouan", name = "frontend-gradle-plugin-jdk11", version = "6.0.0" } | 23 | gradlePlugin-frontend = { group = "org.siouan", name = "frontend-gradle-plugin-jdk11", version = "6.0.0" } |
24 | gradlePlugin-shadow = { group = "com.github.johnrengelman", name = "shadow", version = "8.1.1" } | 24 | gradlePlugin-shadow = { group = "com.github.johnrengelman", name = "shadow", version = "8.1.1" } |
25 | gradlePlugin-sonarqube = { group = "org.sonarsource.scanner.gradle", name = "sonarqube-gradle-plugin", version = "4.3.0.3225" } | 25 | gradlePlugin-sonarqube = { group = "org.sonarsource.scanner.gradle", name = "sonarqube-gradle-plugin", version = "4.3.0.3225" } |
26 | gson = { group = "com.google.code.gson", name = "gson", version = "2.10.1" } | ||
26 | hamcrest = { group = "org.hamcrest", name = "hamcrest", version = "2.2" } | 27 | hamcrest = { group = "org.hamcrest", name = "hamcrest", version = "2.2" } |
27 | jetty-server = { group = "org.eclipse.jetty", name = "jetty-server", version.ref = "jetty" } | 28 | jetty-server = { group = "org.eclipse.jetty", name = "jetty-server", version.ref = "jetty" } |
28 | jetty-servlet = { group = "org.eclipse.jetty.ee10", name = "jetty-ee10-servlet", version.ref = "jetty" } | 29 | jetty-servlet = { group = "org.eclipse.jetty.ee10", name = "jetty-ee10-servlet", version.ref = "jetty" } |