# HG changeset patch
# User immler@in.tum.de
# Date 1225461038 -3600
# Node ID 0638419a3cd86f39c90100d9eb3fb88b224da722
# Parent  634024f57c1851ace55b33042e362118cd42a08d
reverted and ignoring build.xml

diff -r 634024f57c18 -r 0638419a3cd8 src/Tools/jEdit/build.xml
--- a/src/Tools/jEdit/build.xml	Fri Oct 31 14:49:09 2008 +0100
+++ b/src/Tools/jEdit/build.xml	Fri Oct 31 14:50:38 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>