This repository has been archived on 2022-02-11 . You can view files and clone it. You cannot open issues or pull requests or push a commit.
93e177cc35941c5627d8174dae159540a1922327
All checks were successful
zdm/undo-redo/pipeline/head This commit looks good
Undo-Redo
A Java library for managing changes in an editor history.
Languages
Java
100%