mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
add relax-ng plugin to idea-community, idea-ultimate and web-ide
This commit is contained in:
@@ -172,6 +172,9 @@ def layoutFull(String home, String targetDirectory) {
|
||||
|
||||
layoutPlugin("SpellChecker", "spellchecker", "spellchecker-core")
|
||||
|
||||
layoutPlugin("RelaxNG-Support", "relaxng") {
|
||||
fileset(dir: "${home}/community/plugins/relaxng/lib", includes: "**/*.jar")
|
||||
}
|
||||
|
||||
layoutPlugin("maven") {
|
||||
jar("maven-facade-api.jar") {
|
||||
|
||||
Reference in New Issue
Block a user