1.1 --- a/src/Tools/jEdit/nbproject/project.xml	Wed Jun 08 17:01:07 2011 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,24 +0,0 @@
     1.4 -<?xml version="1.0" encoding="UTF-8"?>
     1.5 -<project xmlns="http://www.netbeans.org/ns/project/1">
     1.6 -    <type>org.netbeans.modules.scala.project</type>
     1.7 -    <configuration>
     1.8 -        <data xmlns="http://www.netbeans.org/ns/scala-project/1">
     1.9 -            <name>Isabelle-jEdit</name>
    1.10 -            <minimum-ant-version>1.6.5</minimum-ant-version>
    1.11 -            <source-roots>
    1.12 -                <root id="src.dir"/>
    1.13 -            </source-roots>
    1.14 -            <test-roots/>
    1.15 -        </data>
    1.16 -        <references xmlns="http://www.netbeans.org/ns/ant-project-references/1">
    1.17 -            <reference>
    1.18 -                <foreign-project>jEdit</foreign-project>
    1.19 -                <artifact-type>jar</artifact-type>
    1.20 -                <script>build-nb.xml</script>
    1.21 -                <target>build</target>
    1.22 -                <clean-target>clean</clean-target>
    1.23 -                <id>build</id>
    1.24 -            </reference>
    1.25 -        </references>
    1.26 -    </configuration>
    1.27 -</project>