diff options
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/package-use.html')
-rw-r--r-- | plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/package-use.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/package-use.html b/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/package-use.html index 6f05e27388..15149cb07c 100644 --- a/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/package-use.html +++ b/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/org/eclipse/emf/cdo/releng/version/package-use.html @@ -4,7 +4,7 @@ <HEAD> <TITLE> -Uses of Package org.eclipse.emf.cdo.releng.version (Extended Version Management Documentation) +Uses of Package org.eclipse.emf.cdo.releng.version (Version Management Tool Documentation) </TITLE> <META NAME="date" CONTENT=""> @@ -16,7 +16,7 @@ Uses of Package org.eclipse.emf.cdo.releng.version (Extended Version Management function windowTitle() { if (location.href.indexOf('is-external=true') == -1) { - parent.document.title="Uses of Package org.eclipse.emf.cdo.releng.version (Extended Version Management Documentation)"; + parent.document.title="Uses of Package org.eclipse.emf.cdo.releng.version (Version Management Tool Documentation)"; } } </SCRIPT> |