# Undo-Redo

A Java library for managing changes in an editor history.