diff options
Diffstat (limited to 'plugins/org.eclipse.net4j.doc')
-rw-r--r-- | plugins/org.eclipse.net4j.doc/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.net4j.doc/build.xml b/plugins/org.eclipse.net4j.doc/build.xml index aed84a22f8..ed32931b5b 100644 --- a/plugins/org.eclipse.net4j.doc/build.xml +++ b/plugins/org.eclipse.net4j.doc/build.xml @@ -5,7 +5,7 @@ <!-- THIS FILE HAS BEEN GENERATED, DO NOT CHANGE --> <!-- =========================================== --> - <property file="${user.home}/org.eclipse.emf.cdo.releng.doc_4.1.properties" /> + <property file="${user.home}/org.eclipse.emf.cdo.releng.doc_4.2.properties" /> <property name="path.tp" value=".target" /> <property name="path.supplemental" value="${user.home}/git/local/org.eclipse.emf.cdo.releng.doc.supplemental" /> |