diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-25 12:40:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-25 12:40:47 +0200 |
commit | a455eb4ccb0cfa0b4aec5079ab62df5d131a71ed (patch) | |
tree | 563d9ba541dd8ef282a00b4e4527ef20c9b0ce94 /core/debugger/script_debugger.h | |
parent | 9f8a923b92cc91199dc8a95694242aeda9e6fd49 (diff) | |
parent | da906cade349548287f4beb8ac96c697cb2f719a (diff) |
Merge pull request #42333 from Calinou/new-autokey-editor-icon
Replace AutoKey icon with a more universally understood "record" button
Diffstat (limited to 'core/debugger/script_debugger.h')
0 files changed, 0 insertions, 0 deletions