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 /modules/mono | |
| 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 'modules/mono')
0 files changed, 0 insertions, 0 deletions