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
2022-02-11 09:48:34 +01:00
core Improve Javadoc, make wrapper properties final 2022-02-11 09:48:34 +01:00
javafx Improve Javadoc, make wrapper properties final 2022-02-11 09:48:34 +01:00
.gitignore Convert to multi-module project 2021-12-11 17:55:49 +01:00
.project Convert to multi-module project 2021-12-11 17:55:49 +01:00
Jenkinsfile Publish coverage report to Jenkins 2021-12-24 15:12:13 +02:00
LICENSE Initial commit 2021-12-06 21:52:16 +01:00
pom.xml Bump version to 0.1.0 2021-12-25 22:27:28 +02:00
README.md Add Eclipse / Maven project 2021-12-07 18:05:07 +01:00

Undo-Redo

A Java library for managing changes in an editor history.