mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
build fix (PY-8275)
This commit is contained in:
@@ -168,11 +168,9 @@ private layoutPlugins(layouts) {
|
||||
dir("themes") {
|
||||
fileset(dir: "${home}/plugins/textmate/lib/themes/", includes: "*.tmTheme")
|
||||
}
|
||||
dir("lib") {
|
||||
fileset(dir: "${home}/plugins/textmate/lib") {
|
||||
include(name: "jcodings.jar")
|
||||
include(name: "joni.jar")
|
||||
}
|
||||
fileset(dir: "${home}/plugins/textmate/lib") {
|
||||
include(name: "jcodings.jar")
|
||||
include(name: "joni.jar")
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user