diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.releng.version.doc/build.xml | 2 | ||||
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.releng.version.doc/toc.xmi | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.emf.cdo.releng.version.doc/build.xml b/plugins/org.eclipse.emf.cdo.releng.version.doc/build.xml index 35707d21cf..86416924af 100644 --- a/plugins/org.eclipse.emf.cdo.releng.version.doc/build.xml +++ b/plugins/org.eclipse.emf.cdo.releng.version.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" /> diff --git a/plugins/org.eclipse.emf.cdo.releng.version.doc/toc.xmi b/plugins/org.eclipse.emf.cdo.releng.version.doc/toc.xmi index 6379e2eb83..eb67c98c30 100644 --- a/plugins/org.eclipse.emf.cdo.releng.version.doc/toc.xmi +++ b/plugins/org.eclipse.emf.cdo.releng.version.doc/toc.xmi @@ -3,8 +3,8 @@ <article:Plugin name="org.eclipse.emf.cdo.releng.version" label="Extended Version Management"> <packages name="org.eclipse.emf.cdo.releng.version"/> </article:Plugin> - <article:Plugin name="org.eclipse.emf.cdo.releng.version.ui" label="Extended Version Management (UI)"/> <article:Plugin name="org.eclipse.emf.cdo.releng.version.digest" label="Extended Version Management Digest Validator"> <packages name="org.eclipse.emf.cdo.releng.version.digest"/> </article:Plugin> + <article:Plugin name="org.eclipse.emf.cdo.releng.version.ui" label="Extended Version Management UI"/> </xmi:XMI> |