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/text/simpress | |
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/text/simpress')
0 files changed, 0 insertions, 0 deletions