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.
kske
4a70d954ef
Merge pull request 'Correctly Deal with Identity Changes and Divergent History' (#5) from b/divergent-history into develop
All checks were successful
zdm/undo-redo/pipeline/head This commit looks good
Reviewed-on: https://git.kske.dev/zdm/undo-redo/pulls/5 Reviewed-by: delvh <leon@kske.dev>
Merge pull request 'Correctly Deal with Identity Changes and Divergent History' (#5) from b/divergent-history into develop
Undo-Redo
A Java library for managing changes in an editor history.
Languages
Java
100%