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 /src/plop.hrl | |
parent | 956b1c623336ef9b8895539b90d5f7205181bc84 (diff) |
Doc and placeholders for audit path and consistency proof functions.
Diffstat (limited to 'src/plop.hrl')
0 files changed, 0 insertions, 0 deletions