Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-10-22 | fix spelling issues | Christian Grothoff | |
2020-07-12 | update response | Christian Grothoff | |
2020-07-05 | fix typo | Christian Grothoff | |
2020-07-05 | expand justifications / agree with append-only log | Florian Dold | |
2020-07-05 | minor typo | Florian Dold | |
2020-07-05 | response to CB | Christian Grothoff | |