MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

temporary fix for layouts of small IDEs

Browse Source
This commit is contained in:
nik
2013-11-11 18:51:27 +04:00
parent 02e07e1736
commit b4a4b99ad3
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/scripts/layouts.gant
+4 -2
View File
@@ -327,8 +327,10 @@ public def layoutCommunityPlugins(String home) {
jar("git4idea-rt.jar") {
module("git4idea-rt")
}
jar("remote-servers-git.jar") {
module("remote-servers-git")
if (!isDefined("pluginFilter")) {//temporary fix to exclude remote-servers-git module from layout for small IDEs because corresponding module isn't compiled
jar("remote-servers-git.jar") {
module("remote-servers-git")
}
}
fileset(dir: "$home/plugins/git4idea/lib") {
include(name: "trilead-ssh2.jar")