diff options
| author | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2017-08-07 06:52:09 -0500 |
|---|---|---|
| committer | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2017-08-07 06:52:09 -0500 |
| commit | 4d8687d90b58f8bf00bd31c913bc47970e975ca4 (patch) | |
| tree | 5a7a43cabf45ad5c2f9c08c752b992da12ce1dac /source/auxiliary | |
| parent | 9f7edddfe613a3e61a1160028c853d9fc569876a (diff) | |
tdf#111434 Rename “Basic IDE Options” to “Basic IDE”
Follow-up to core commit 43f159dafa3fe61c09cafc8467cdd67233a02401;
see a rationale for this change there.
Change-Id: I2e560b50e76637c135e536423223798e92914bf0
Diffstat (limited to 'source/auxiliary')
| -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> |