diff options
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/deprecated-list.html')
-rw-r--r-- | plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/deprecated-list.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/deprecated-list.html b/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/deprecated-list.html index 68e24d1cc9..888626b81b 100644 --- a/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/deprecated-list.html +++ b/plugins/org.eclipse.emf.cdo.releng.version.doc/javadoc/deprecated-list.html @@ -4,7 +4,7 @@ <HEAD> <TITLE> -Deprecated List (Extended Version Management Documentation) +Deprecated List (Version Management Tool Documentation) </TITLE> <META NAME="date" CONTENT=""> @@ -16,7 +16,7 @@ Deprecated List (Extended Version Management Documentation) function windowTitle() { if (location.href.indexOf('is-external=true') == -1) { - parent.document.title="Deprecated List (Extended Version Management Documentation)"; + parent.document.title="Deprecated List (Version Management Tool Documentation)"; } } </SCRIPT> |