# HG changeset patch
# User immler@in.tum.de
# Date 1225221449 -3600
# Node ID bec7e6e25a4b530acda86ae619480ad9f68a4c78
# Parent  3775958051c56886813c7f399932bde4319c1c8c
reverted build.xml

diff -r 3775958051c5 -r bec7e6e25a4b src/Tools/jEdit/build.xml
--- a/src/Tools/jEdit/build.xml	Tue Oct 28 20:15:28 2008 +0100
+++ b/src/Tools/jEdit/build.xml	Tue Oct 28 20:17:29 2008 +0100
@@ -72,7 +72,4 @@
       <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
       <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" />
     </target>
-    <target name="-post-jar">
-      <copy file="${dist.jar}" todir="/Users/fabian/tum/hiwi/jedit/jedit-sources/jEdit/build/jars/" />
-    </target>
 </project>