Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-06-06 | Revert "no auditor repo anymore" | Florian Dold | |
We still need the auditor repository to serve the auditor webpage. This reverts commit ab61867c73a38d2019366726f293b3d3544db33a. | |||
2017-06-06 | no auditor repo anymore | Christian Grothoff | |
2017-03-16 | make | Florian Dold | |
2017-03-16 | auditor | Florian Dold | |