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 /doc/api.md | |
parent | e02151344132f6df09db8a9abb886c763e068ce1 (diff) |
reverted checkpoint terminology for now
Diffstat (limited to 'doc/api.md')
0 files changed, 0 insertions, 0 deletions