diff --git a/docs/userguide/en/workspaces.html b/docs/userguide/en/workspaces.html index 5631519260..e33287e8bd 100644 --- a/docs/userguide/en/workspaces.html +++ b/docs/userguide/en/workspaces.html @@ -1,9 +1,9 @@ - + + "../../html-dtd/xhtml1-strict.dtd">
-