diff options
| author | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2017-08-07 06:52:09 -0500 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@gerrit.libreoffice.org> | 2017-08-07 13:53:06 +0200 |
| commit | 5ebd60e7d912704ff9e2936e673ffaa6f39a9a2f (patch) | |
| tree | 59fb73562e3e342365fed94e6741aa69fb5c1bc7 /helpcontent2 | |
| parent | 7d6b7bda802c8800e908dd5c23f60e35ba6c465a (diff) | |
Updated core
Project: help 4d8687d90b58f8bf00bd31c913bc47970e975ca4
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 'helpcontent2')
| m--------- | helpcontent2 | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/helpcontent2 b/helpcontent2 -Subproject 9f7edddfe613a3e61a1160028c853d9fc569876 +Subproject 4d8687d90b58f8bf00bd31c913bc47970e975ca |