annotate .project @ 10:70510ec97f4a default tip

annotate texts with results and build events with linnaeus
author jdamerow
date Mon, 19 Nov 2012 16:36:54 -0700
parents 036535fcd179
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
036535fcd179 anteater
jdamerow
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
036535fcd179 anteater
jdamerow
parents:
diff changeset
2 <projectDescription>
036535fcd179 anteater
jdamerow
parents:
diff changeset
3 <name>de.mpiwg.anteater</name>
036535fcd179 anteater
jdamerow
parents:
diff changeset
4 <comment></comment>
036535fcd179 anteater
jdamerow
parents:
diff changeset
5 <projects>
036535fcd179 anteater
jdamerow
parents:
diff changeset
6 </projects>
036535fcd179 anteater
jdamerow
parents:
diff changeset
7 <buildSpec>
036535fcd179 anteater
jdamerow
parents:
diff changeset
8 <buildCommand>
036535fcd179 anteater
jdamerow
parents:
diff changeset
9 <name>org.eclipse.jdt.core.javabuilder</name>
036535fcd179 anteater
jdamerow
parents:
diff changeset
10 <arguments>
036535fcd179 anteater
jdamerow
parents:
diff changeset
11 </arguments>
036535fcd179 anteater
jdamerow
parents:
diff changeset
12 </buildCommand>
036535fcd179 anteater
jdamerow
parents:
diff changeset
13 </buildSpec>
036535fcd179 anteater
jdamerow
parents:
diff changeset
14 <natures>
036535fcd179 anteater
jdamerow
parents:
diff changeset
15 <nature>org.eclipse.jdt.core.javanature</nature>
036535fcd179 anteater
jdamerow
parents:
diff changeset
16 </natures>
036535fcd179 anteater
jdamerow
parents:
diff changeset
17 </projectDescription>