diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-07-01 21:27:27 +0530 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-05 16:50:15 +0200 |
| commit | 7ddd2dba25d338cb9849eed93c50af0a9ebd0452 (patch) | |
| tree | be2e30cbb29b8e2a4d617f7c2fb9e035d29ade38 /src | |
| parent | ee94ca0e22f4de5be851d07c49b535170416c604 (diff) | |
expand justifications / agree with append-only log
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions