MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-26 19:06:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

Update educational plugins build data

Browse Source
This commit is contained in:
Valentina Kiryushkina
2016-01-26 19:36:12 +03:00
parent 652031862c
commit 1208b12103
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/educational-python/build/plugin-list.txt
+2 -2
View File
@@ -4,8 +4,8 @@ remote-servers-git
github
IntelliLang
IntelliLang-python
interactive-learning
interactive-learning-python
student
student-python
course-creator
course-creator-python
hg4idea
python/educational-python/build/pycharm_edu_build.gant
+3 -3
View File
@@ -224,10 +224,10 @@ public layoutEducational(String classesPath, Set usedJars) {
private layoutPlugins(layouts) {
dir("plugins") {
layouts.layoutPlugin("interactive-learning")
layouts.layoutPlugin("interactive-learning-python") {
layouts.layoutPlugin("student")
layouts.layoutPlugin("student-python") {
dir("courses") {
fileset(dir: "$pythonEduHome/interactive-learning-python/resources/courses")
fileset(dir: "$pythonEduHome/student-python/resources/courses")
}
}
layouts.layoutPlugin("course-creator")