# undo-redo

A Java library for managing changes in an editor history.