diff options
author | Tor Norbye <tnorbye@google.com> | 2014-08-20 17:01:23 -0700 |
---|---|---|
committer | Tor Norbye <tnorbye@google.com> | 2014-08-20 17:01:23 -0700 |
commit | 1aa2e09bdbd413eacb677e9fa4b50630530d0656 (patch) | |
tree | 2f4cc6d69645bd460aa253fdecb606d764fbd25d /build/scripts/layouts.gant | |
parent | 02cf98d65c798d368fcec43ed64a001d513bdd4f (diff) | |
download | idea-1aa2e09bdbd413eacb677e9fa4b50630530d0656.tar.gz |
Snapshot idea/138.1696 from git://git.jetbrains.org/idea/community.git
Change-Id: I50c97b83a815ce635e49a38380ba5b8765e4b16a
Diffstat (limited to 'build/scripts/layouts.gant')
-rw-r--r-- | build/scripts/layouts.gant | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build/scripts/layouts.gant b/build/scripts/layouts.gant index f91ac85d7449..e33f920fe146 100644 --- a/build/scripts/layouts.gant +++ b/build/scripts/layouts.gant @@ -519,6 +519,12 @@ public def layoutCommunityPlugins(String home) { } } + layoutPlugin("editorconfig") { + fileset(dir: "$home/plugins/editorconfig/lib") { + include(name: "**/*.jar") + } + } + pluginDir("coverage") { dir("lib") { jar("coverage.jar") { |