diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-26 08:20:26 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-26 08:20:26 +0200 |
commit | 94d511f43b7d855ecc99ab2f0df101be2dc775e9 (patch) | |
tree | 58e3a90e4ab58352072ea7d3e85654d814650cb5 /thirdparty | |
parent | c380c30c7fcfce0528d9b5a88bbfa5f8cb53e619 (diff) | |
parent | 74b324c434006788d294adad2bdeb3811faa95d7 (diff) |
Merge pull request #64756 from Calinou/editor-rename-run-project-shortcuts
Rename editor run/pause/stop shortcuts and tooltips for consistency
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions