summaryrefslogtreecommitdiff
path: root/doc/manual
AgeCommit message (Expand)Author
2017-05-17manual gpl boilerplate + commands to compile the manualMarcello Stanisci
2017-05-17instructions about copying the auditor signed blob intoMarcello Stanisci
2017-05-17instructions for the auditor to sign the blobMarcello Stanisci
2017-05-16admin manual stubMarcello Stanisci