mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Cosmetic.
This commit is contained in:
@@ -466,12 +466,12 @@ public def layoutCommunityPlugins(String home) {
|
||||
}
|
||||
}
|
||||
|
||||
pluginDir("terminal") {
|
||||
dir("lib") {
|
||||
jar("terminal.jar") {
|
||||
module("terminal")
|
||||
}
|
||||
fileset(dir: "${home}/plugins/terminal/lib", excludes: "**/*.zip")
|
||||
layoutPlugin("terminal") {
|
||||
jar("terminal.jar") {
|
||||
module("terminal")
|
||||
}
|
||||
fileset(dir: "$home/plugins/terminal/lib") {
|
||||
include(name: "*.jar")
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user