src/Tools/jEdit/nbproject/project.xml
changeset 44168 e77baf329f48
parent 34384 a94d2fb96fd5
child 38115 940a5feea094
equal deleted inserted replaced
44154:755e3d5ea3f2 44168:e77baf329f48
     1 <?xml version="1.0" encoding="UTF-8"?>
       
     2 <project xmlns="http://www.netbeans.org/ns/project/1">
       
     3     <type>org.netbeans.modules.scala.project</type>
       
     4     <configuration>
       
     5         <data xmlns="http://www.netbeans.org/ns/scala-project/1">
       
     6             <name>Isabelle-jEdit</name>
       
     7             <minimum-ant-version>1.6.5</minimum-ant-version>
       
     8             <source-roots>
       
     9                 <root id="src.dir"/>
       
    10             </source-roots>
       
    11             <test-roots/>
       
    12         </data>
       
    13         <references xmlns="http://www.netbeans.org/ns/ant-project-references/1">
       
    14             <reference>
       
    15                 <foreign-project>jEdit</foreign-project>
       
    16                 <artifact-type>jar</artifact-type>
       
    17                 <script>build-nb.xml</script>
       
    18                 <target>build</target>
       
    19                 <clean-target>clean</clean-target>
       
    20                 <id>build</id>
       
    21             </reference>
       
    22         </references>
       
    23     </configuration>
       
    24 </project>