diff options
| author | Tor Andersson <tor@ccxvii.net> | 2022-09-22 15:29:25 +0200 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2022-11-17 13:11:27 +0100 |
| commit | d5bdd1fdd6229353c06606fc83c27196d5c0f42a (patch) | |
| tree | 572a271f1455c0109808c944cd894749a61c3f82 /info | |
| parent | f8c759a3d71576463c3a9fa71a1e60d621a977ce (diff) | |
| download | rommel-in-the-desert-d5bdd1fdd6229353c06606fc83c27196d5c0f42a.tar.gz | |
Simplify checkpointing logic.
Diffstat (limited to 'info')
0 files changed, 0 insertions, 0 deletions