# HG changeset patch # User wenzelm # Date 1224527154 -7200 # Node ID 8622e3a0274ef28534aeed0d0ea7b66f1d5ee116 # Parent be2e9e6726af183c9eb8f0939ba66411def81299 added target -pre-jar which copies jEdit plugin to be included in jar; diff -r be2e9e6726af -r 8622e3a0274e src/Tools/jEdit/build.xml --- a/src/Tools/jEdit/build.xml Mon Oct 20 17:02:03 2008 +0200 +++ b/src/Tools/jEdit/build.xml Mon Oct 20 20:25:54 2008 +0200 @@ -66,4 +66,10 @@ nbproject/build-impl.xml file. --> + + + + + +