Kai S. K. Engelbart
c411eace81
zdm/undo-redo/pipeline/head There was a failure building this commit
Details
|
||
---|---|---|
core | ||
.gitignore | ||
.project | ||
Jenkinsfile | ||
LICENSE | ||
README.md | ||
pom.xml |
README.md
Undo-Redo
A Java library for managing changes in an editor history.