diff options
| author | AntonioLucibello | 2022-05-02 14:45:20 +0000 |
|---|---|---|
| committer | GitHub | 2022-05-02 14:45:20 +0000 |
| commit | ac2ea800ce267b9ed3da5f743085f0afe8460473 (patch) | |
| tree | e32b8030383a8056bba25da84d46966e9aef2e83 /runtime | |
| parent | 77ff8d355051ef567c7998b226e28ba436c2e230 (diff) | |
Add undo checkpoint command (#2115)
* added undo checkpoint command
* changed add_undo_checkpoint to commit_undo_checkpoint
* mapped commit_undo_checkpoint to Alt-u
* Update default.rs
Co-authored-by: Blaž Hrastnik <blaz@mxxn.io>
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions