'properties' plugin layout should respect 'pluginFilter' (fixes failed WebStorm builds)

2026-09-18 09:34:34 +07:00 · 2014-02-03 17:06:04 +04:00
parent 6981f2d6de
commit e67783cc57
1 changed files with 1 additions and 1 deletions
@@ -268,7 +268,7 @@ public def layoutCommunityPlugins(String home) {
      }
    }

-    dir("properties") {
+    pluginDir("properties") {
      dir("lib") {
        jar("properties.jar") {
          module("properties-psi-api")