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