summaryrefslogtreecommitdiff
path: root/thirdparty
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2022-09-26 08:20:26 +0200
committerRémi Verschelde <rverschelde@gmail.com>2022-09-26 08:20:26 +0200
commit94d511f43b7d855ecc99ab2f0df101be2dc775e9 (patch)
tree58e3a90e4ab58352072ea7d3e85654d814650cb5 /thirdparty
parentc380c30c7fcfce0528d9b5a88bbfa5f8cb53e619 (diff)
parent74b324c434006788d294adad2bdeb3811faa95d7 (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