Age | Commit message (Expand) | Author |
---|---|---|
2020-01-19 | fix copyright headers as per CA | Christian Grothoff |
2019-10-31 | tighten formatting rules | Christian Grothoff |
2019-08-25 | re-format code | Florian Dold |
2016-10-06 | adding skeleton code for auditor | Christian Grothoff |