mirror of
https://github.com/google/blockly.git
synced 2026-06-17 00:25:14 +02:00
f80253f5e9
* fix: Make the undo/redo API more ergonomic * fix: Update callers to use the new API * chore: Fix lint