A Java library for managing changes in an editor history.
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.
Go to file
Kai S. K. Engelbart 2773d360fb
zdm/undo-redo/pipeline/head There was a failure building this commit Details
Implement change manager unit tests
2021-12-11 13:51:12 +01:00
src Implement change manager unit tests 2021-12-11 13:51:12 +01:00
.classpath Add Eclipse / Maven project 2021-12-07 18:05:07 +01:00
.gitignore Add Eclipse / Maven project 2021-12-07 18:05:07 +01:00
.project Add Eclipse / Maven project 2021-12-07 18:05:07 +01:00
Jenkinsfile Add Jenkinsfile 2021-12-08 10:42:55 +01:00
LICENSE Initial commit 2021-12-06 21:52:16 +01:00
README.md Add Eclipse / Maven project 2021-12-07 18:05:07 +01:00
pom.xml Add change manager unit test skeleton 2021-12-10 18:39:57 +01:00

README.md

Undo-Redo

A Java library for managing changes in an editor history.