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 4b07626155
zdm/undo-redo/pipeline/head This commit looks good Details
Merge pull request 'Basic API Structure' (#2) from f/basics into develop
Reviewed-on: https://git.kske.dev/zdm/undo-redo/pulls/2
Reviewed-by: kske <kai@kske.dev>
Reviewed-by: delvh <leon@kske.dev>
2021-12-11 21:45:58 +01:00
core Fix core module name 2021-12-11 18:22:06 +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 Adapt Jenkinsfile to multi-module architecture 2021-12-11 17:58:09 +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 Fix core module name 2021-12-11 18:22:06 +01:00

README.md

Undo-Redo

A Java library for managing changes in an editor history.