diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-09-01 17:02:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-01 17:02:04 +0200 |
| commit | 027415312e964b596ec13bfe2ef790acbf8c5aed (patch) | |
| tree | b0f51e97094ae3b31a2298b26724142ac3b45aec /doc/classes/ConfigFile.xml | |
| parent | 728785d5328172acd4cc4b182914aea5d234fea4 (diff) | |
| parent | b85a4c5d7919e8a9a7d8dd254b7b05883422da86 (diff) | |
Merge pull request #65132 from bruvzg/global_menu_shortcuts_context
Diffstat (limited to 'doc/classes/ConfigFile.xml')
0 files changed, 0 insertions, 0 deletions