diff options
author | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2023-02-13 16:34:09 -0600 |
---|---|---|
committer | Adolfo Jayme Barrientos <fitojb@ubuntu.com> | 2023-02-13 22:36:26 +0000 |
commit | cd49917023bc58662fa1c6be7294f66955f04525 (patch) | |
tree | c092484a3f7e2d1eaebccb3903e1240477967bd5 /AllLangHelp_shared.mk | |
parent | a295ef1fa2462d9a828341e7b947eae05ba14154 (diff) |
Rename Extension Manager to Extensions
Follow-up to core commit ef3c81d0fca9c8f80fd0d4e4025c37a114528344
Change-Id: I904f88bd184fb4ea10eb050c21d40041494e2e33
Reviewed-on: https://gerrit.libreoffice.org/c/help/+/146952
Tested-by: Jenkins
Reviewed-by: Adolfo Jayme Barrientos <fitojb@ubuntu.com>
Diffstat (limited to 'AllLangHelp_shared.mk')
0 files changed, 0 insertions, 0 deletions