diff options
| author | Linus Nordberg <linus@nordberg.se> | 2014-05-07 07:53:52 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2014-05-07 07:53:52 +0100 |
| commit | bc6993f2dc7448c808605647e3eac14213441bfb (patch) | |
| tree | a5521e384565630aa5b4d376457c25bb5800d8a7 /include | |
| parent | 956b1c623336ef9b8895539b90d5f7205181bc84 (diff) | |
Doc and placeholders for audit path and consistency proof functions.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions