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