MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

edutools plugin from Beta channel

Browse Source
This commit is contained in:
Ekaterina Tuzova
2018-12-03 14:18:44 +03:00
parent 6d6775e976
commit 2fe37fe8c8
2 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
edu/dependencies/build.gradle
+2 -1
View File
@@ -44,12 +44,13 @@ configurations {
def EduToolsPluginId = "com.jetbrains.edu"
def EduToolsPluginName = "EduTools"
def EduToolsRepo= EduToolsChannel == "Stable" ? "com.jetbrains.plugins" : "${EduToolsChannel}.com.jetbrains.plugins"
def ScalaPluginId = "org.intellij.scala"
def ScalaPluginName = "Scala"
dependencies {
eduPlugin "com.jetbrains.plugins:$EduToolsPluginId:$EduToolsPluginVersion@zip"
eduPlugin "$EduToolsRepo:$EduToolsPluginId:$EduToolsPluginVersion@zip"
scalaPlugin "com.jetbrains.plugins:$ScalaPluginId:$ScalaPluginVersion@zip"
}
edu/dependencies/gradle.properties
+3 -2
View File
@@ -1,2 +1,3 @@
EduToolsPluginVersion=1.8-2018.2-676
ScalaPluginVersion=2018.2.6
EduToolsPluginVersion=2.1-2018.3-1060
EduToolsChannel=Beta
ScalaPluginVersion=2018.3.4