include scala-swing
authorimmler@in.tum.de
Thu, 27 Aug 2009 12:12:11 +0200
changeset 34684 d59b1005968e
parent 34683 fe7bedf0cfc9
child 34685 93f4978fe2a8
include scala-swing
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 -->