diff options
| author | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-09-09 13:20:55 +0200 |
|---|---|---|
| committer | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-02 00:54:13 +0200 |
| commit | 5cacd6e36630b210a2c084f8709b1db811809ca6 (patch) | |
| tree | 422b9182b26d63c87cefe26bc6c6d6fa2cc28e30 /archive/2021-09-28-design-comments | |
| parent | e02151344132f6df09db8a9abb886c763e068ce1 (diff) | |
reverted checkpoint terminology for now
Diffstat (limited to 'archive/2021-09-28-design-comments')
0 files changed, 0 insertions, 0 deletions