diff options
| author | Samuel Mehrbrodt <samuel.mehrbrodt@allotropia.de> | 2023-02-09 14:52:58 +0100 |
|---|---|---|
| committer | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2023-02-13 13:17:12 +0000 |
| commit | ef3c81d0fca9c8f80fd0d4e4025c37a114528344 (patch) | |
| tree | aa0307793351dbe74d991af95baf610e269dcc7a /include | |
| parent | 32267c54d7430886e643b297b5e03f5fbf08cf19 (diff) | |
Rename: Extension Manager -> Extensions
simplify dialog title, should be clear what this is about.
Change-Id: I65d8ca89e32cc225a07483703cd27b0fdc630b42
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/146715
Reviewed-by: Heiko Tietze <heiko.tietze@documentfoundation.org>
Tested-by: Jenkins
Reviewed-by: Adolfo Jayme Barrientos <fitojb@ubuntu.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions