diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-08-05 15:27:46 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-08-05 15:27:46 +0200 |
| commit | b2f20c9a61715b0a60f9e55688dbed221d775c7e (patch) | |
| tree | 827d9a62a86cdd10061cb5f0289935c158f54191 /repository | |
| parent | 90fb85e067326b0f0a121e781f87df762f385592 (diff) | |
| download | git-bug-b2f20c9a61715b0a60f9e55688dbed221d775c7e.tar.gz | |
util: add a Lamport clock implementation as well as a persistable one
Diffstat (limited to 'repository')
0 files changed, 0 insertions, 0 deletions