zdm/undo-redo
Archived
3
Fork 0
Code Issues 2 Pull Requests Releases 1 Activity
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.
23 Commits 2 Branches 1 Tag 110 KiB
Java 100%
5d1ef84770
Go to file
kske 5d1ef84770
All checks were successful
zdm/undo-redo/pipeline/head This commit looks good
Details
Discard identity changes, discard divergent branches
2021-12-22 16:51:33 +02:00
core Discard identity changes, discard divergent branches 2021-12-22 16:51:33 +02:00
javafx Discard identity changes, discard divergent branches 2021-12-22 16:51:33 +02: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
pom.xml JavaFX reflective access + Javadoc + @delvh 2021-12-16 10:22:37 +01:00
README.md Add Eclipse / Maven project 2021-12-07 18:05:07 +01:00

README.md

Undo-Redo

A Java library for managing changes in an editor history.