drjava/drjava/.project at master · dimalit/drjava · GitHub

Repository navigation

<?xml version="1.0" encoding="UTF-8"?>

<name>drjava</name>

<project>submit</project>

</projects>

<name>org.eclipse.jdt.core.javabuilder</name>

</arguments>

</buildCommand>

</buildSpec>

<nature>org.eclipse.jdt.core.javanature</nature>

</natures>

<link>

<name>${java8-tools}</name>

<location>/home/dimalit/java/drjava_git/drjava/${java8-tools}</location>

</link>

<link>

<location>/home/dimalit/java/drjava_git/drjava/classes/base</location>

</link>

<link>

<location>/home/dimalit/java/drjava_git/drjava/src</location>

</link>

</linkedResources>

</projectDescription>