Age | Commit message (Expand) | 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 |