Closed hkjels closed 2 years ago
Since there's some prior work in this space, I think it would be useful with a short paragraph about why you would want to use vundo over UndoTree
vundo
Did that, thanks.
I think this can be closed now.
Nice! That first line you added made me want to try it
Since there's some prior work in this space, I think it would be useful with a short paragraph about why you would want to use
vundo
over UndoTree