diff options
| author | Blaž Hrastnik | 2020-10-04 08:15:43 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-10-13 14:13:56 +0000 |
| commit | fd311fb8ad8792c8f21ed0bcf56d4a818715d5f7 (patch) | |
| tree | d44c2771759605fac1541b2973297af3ce21a8e2 /.github | |
| parent | 9a73d3f1b97d41aab101262ce72fc3019c4a0f91 (diff) | |
Undo tree draft.
We keep a tree of transactions. This allows for persistent undo by
simply serializing the changesets.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions