equal
deleted
inserted
replaced
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> |
|