diff options
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/class-use/IReleaseManager.html')
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/class-use/IReleaseManager.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/class-use/IReleaseManager.html b/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/class-use/IReleaseManager.html index 9ae34b8f8b..5eaf44cb94 100644 --- a/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/class-use/IReleaseManager.html +++ b/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/class-use/IReleaseManager.html @@ -4,7 +4,7 @@ <HEAD> <TITLE> -Uses of Interface org.eclipse.emf.cdo.releng.version.IReleaseManager (Extended Version Management Documentation) +Uses of Interface org.eclipse.emf.cdo.releng.version.IReleaseManager (Version Management Tool Documentation) </TITLE> <META NAME="date" CONTENT=""> @@ -16,7 +16,7 @@ Uses of Interface org.eclipse.emf.cdo.releng.version.IReleaseManager (Extended V function windowTitle() { if (location.href.indexOf('is-external=true') == -1) { - parent.document.title="Uses of Interface org.eclipse.emf.cdo.releng.version.IReleaseManager (Extended Version Management Documentation)"; + parent.document.title="Uses of Interface org.eclipse.emf.cdo.releng.version.IReleaseManager (Version Management Tool Documentation)"; } } </SCRIPT> |