diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-17 19:09:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-17 19:09:56 +0200 |
| commit | 273d1ca9329aaa849e18f4d3a1f3f461d54dbb41 (patch) | |
| tree | 2cd6f932eafd4e493f9f9bcc092ca49106e2507b /modules | |
| parent | 6cea7ebae4721e05ea7013c6159a751f7498ea85 (diff) | |
| parent | 16c2d4ef22a2928489934833bab06d5ea33bd90e (diff) | |
Merge pull request #51775 from timothyqiu/disable-undo-redo
Improve Undo/Redo menu items
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions