mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 13:11:39 +07:00
fixed PY-6947 Separate RST into plugin suitable for inclusion into PhpStorm/WebStorm
This commit is contained in:
@@ -42,7 +42,8 @@ setProperty("pluginFilter", [
|
||||
"coffeescript",
|
||||
"python-remote-interpreter",
|
||||
"diagram-api", "uml",
|
||||
"python-uml", "localization"
|
||||
"python-uml", "localization",
|
||||
"rest"
|
||||
])
|
||||
|
||||
private List<String> pycharmPlatformApiModules() {
|
||||
@@ -357,6 +358,13 @@ private layoutFull(Map args, String target, Set usedJars) {
|
||||
}
|
||||
}
|
||||
}
|
||||
dir("rest") {
|
||||
dir("lib") {
|
||||
jar("rest.jar") {
|
||||
module("rest")
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
def layouts = includeFile("$home/build/scripts/layouts.gant")
|
||||
|
||||
Reference in New Issue
Block a user