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