# HG changeset patch
# User immler@in.tum.de
# Date 1251367931 -7200
# Node ID d59b1005968e27b9d13073ed343e80226e09d3de
# Parent  fe7bedf0cfc98eebba1083c459c17cc9b85a00ea
include scala-swing

diff -r fe7bedf0cfc9 -r d59b1005968e src/Tools/jEdit/build.xml
--- a/src/Tools/jEdit/build.xml	Thu Aug 27 11:06:25 2009 +0200
+++ b/src/Tools/jEdit/build.xml	Thu Aug 27 12:12:11 2009 +0200
@@ -83,6 +83,7 @@
         <fileset dir="${dist.dir}/jars/lib" />
       </move>
       <copy file="${scala.library}" todir="${dist.dir}/jars" />
+      <copy file="${scala.lib}/scala-swing.jar" todir="${dist.dir}/jars" />
       <!-- clean up -->
       <delete dir="{dist.dir}/jars/lib" />
       <!-- dist-template -->