This website requires JavaScript.
Explore
Help
Sign In
zdm
/
undo-redo
Archived
Watch
3
Fork
You've already forked undo-redo
0
Code
Issues
2
Pull Requests
Releases
1
Activity
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.
4872fd3db3
undo-redo
/
core
/
src
/
main
/
java
/
dev
/
kske
/
undoredo
/
core
History
Kai S. K. Engelbart
8ef4a9a572
Fix typo in Javadoc tag
2021-12-25 22:27:03 +02:00
..
Change.java
Discard identity changes, discard divergent branches
2021-12-22 16:51:33 +02:00
ChangeManager.java
Merge pull request 'Correctly Deal with Identity Changes and Divergent History' (
#5
) from b/divergent-history into develop
2021-12-24 22:16:45 +01:00
UnlimitedChangeManager.java
Fix typo in Javadoc tag
2021-12-25 22:27:03 +02:00
package-info.java
Move everything into the core package
2021-12-11 18:18:39 +01:00