diff options
| author | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-07 15:27:19 +0200 |
|---|---|---|
| committer | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-07 15:27:19 +0200 |
| commit | 9288886de0e4477bb6e3dface9266fe0644b3e97 (patch) | |
| tree | 9513140b1b8755dcf4dc48b372b6376303ee7d26 /archive/2021-09-14-checkpoint-format-summary | |
| parent | bd47c47dfd26706b5846b53addd4ea8066f03c44 (diff) | |
expressed goal without higher-level use-cases in mind
Diffstat (limited to 'archive/2021-09-14-checkpoint-format-summary')
0 files changed, 0 insertions, 0 deletions