--- a/src/Tools/jEdit/plugin/IsabellePlugin.ant Fri Dec 19 11:25:06 2008 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-<?xml version="1.0"?>
-<project name="IsabellePlugin installer" default="install" basedir=".">
- <target name="install">
- <copy file="services.xml" todir="bin" />
- <copy file="dockables.xml" todir="bin" />
- <copy file="actions.xml" todir="bin" />
- <copy file="IsabellePlugin.props" todir="bin" />
- <jar destfile="IsabellePlugin.jar" basedir="bin" />
- </target>
-</project>
\ No newline at end of file