>
home
>
Commands
undo
January 19th 2020
Advances backwards through the undo history of the current buffer.