undo does not undo unless augmentation is the last explore command - Githubissues

salmans / Razor

5 stars 0 forks source link

undo does not undo unless augmentation is the last explore command #62

Closed thedotmatrix closed 9 years ago

thedotmatrix commented 9 years ago

aug, next, next, undo should work