Merge remote-tracking branch 'origin/master'

2026-10-01 15:15:45 +07:00 · 2012-08-07 17:49:38 +02:00
parent 60b6094fb8 5ce3afc367
commit df9f3f874d
1 changed files with 1 additions and 1 deletions
@@ -287,7 +287,7 @@ private layoutFull(Map args, String target, Set usedJars) {
        module("forms_rt")
      }

-      jar([name: "resources_en.jar", duplicate: "preserve"]) {
+      jar("resources_en.jar") {
        // custom resources go first
        fileset(dir: "$home/python/resources") {
          include(name: "**/tips/**")