diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle')
| -rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle index a3bfc039..495b1339 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/build.gradle | |||
| @@ -11,7 +11,9 @@ dependencies { | |||
| 11 | compile "org.webjars:requirejs:2.3.6" | 11 | compile "org.webjars:requirejs:2.3.6" |
| 12 | compile "org.webjars:requirejs-text:2.0.15" | 12 | compile "org.webjars:requirejs-text:2.0.15" |
| 13 | compile "org.webjars:jquery:3.6.0" | 13 | compile "org.webjars:jquery:3.6.0" |
| 14 | compile "org.webjars:codemirror:5.41.0" | 14 | // CodeMirror 5.53.0 and later is incompatible with Xtext due to |
| 15 | // https://github.com/codemirror/CodeMirror/commit/b2d26b4ccb1d0994ae84d18ad8b84018de176da9#commitcomment-41525744 | ||
| 16 | compile "org.webjars.npm:codemirror:5.52.2" | ||
| 15 | providedCompile "org.eclipse.jetty:jetty-annotations:9.4.42.v20210604" | 17 | providedCompile "org.eclipse.jetty:jetty-annotations:9.4.42.v20210604" |
| 16 | providedCompile "org.eclipse.jetty:jetty-rewrite:9.4.42.v20210604" | 18 | providedCompile "org.eclipse.jetty:jetty-rewrite:9.4.42.v20210604" |
| 17 | providedCompile "org.slf4j:slf4j-simple:1.7.31" | 19 | providedCompile "org.slf4j:slf4j-simple:1.7.31" |