This repository has been archived on 2022-02-11 . You can view files and clone it, but cannot push or open issues or pull requests.
acb25c312060a0009d37e46a4e4a65d7bf1200e8
Undo-Redo
A Java library for managing changes in an editor history.
Languages
Java
100%