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