mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Remove rest plugin.
This commit is contained in:
@@ -4,6 +4,4 @@ remote-servers-git
|
||||
github
|
||||
IntelliLang
|
||||
IntelliLang-python
|
||||
rest
|
||||
python-rest
|
||||
learn-python
|
||||
@@ -205,8 +205,6 @@ public layoutEducational(String classesPath, Set usedJars) {
|
||||
|
||||
private layoutPlugins(layouts) {
|
||||
dir("plugins") {
|
||||
layouts.layoutPlugin("rest")
|
||||
layouts.layoutPlugin("python-rest")
|
||||
layouts.layoutPlugin("learn-python")
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user