| <?xml version="1.0" encoding="UTF-8"?> | |
| <project name="update" default="update"> | |
| <target name="update"> | |
| <property name="updateSite" | |
| value="file://${user.home}/downloads/tools/gef/update-site/milestones/site.xml" /> | |
| <echo message=" pulling update jars from ${updateSite}" /> | |
| <ant antfile="updateMirrorProject.xml"> | |
| <property name="featureId" | |
| value="org.eclipse.gef" /> | |
| <property name="version" | |
| value="3.2.0.v20060616" /> | |
| </ant> | |
| </target> | |
| </project> |