diff options
Diffstat (limited to 'source/auxiliary/shared.tree')
| -rw-r--r-- | source/auxiliary/shared.tree | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/auxiliary/shared.tree b/source/auxiliary/shared.tree index f05963d5ca..5ebd380028 100644 --- a/source/auxiliary/shared.tree +++ b/source/auxiliary/shared.tree @@ -53,7 +53,7 @@ <topic id="shared/text/shared/optionen/java.xhp">Advanced</topic> <topic id="shared/text/shared/optionen/expertconfig.xhp">Expert Configuration</topic> <topic id="shared/text/shared/optionen/persona_firefox.xhp">Personalization</topic> -<topic id="shared/text/shared/optionen/BasicIDE.xhp">Basic IDE Options</topic> +<topic id="shared/text/shared/optionen/BasicIDE.xhp">Basic IDE</topic> <topic id="shared/text/shared/optionen/opencl.xhp">OpenCL</topic> <topic id="shared/text/shared/optionen/01020000.xhp">Load/Save options</topic> <topic id="shared/text/shared/optionen/01030000.xhp">Internet options</topic> |