diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-07-14 21:10:55 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-07-14 21:10:55 +0200 |
| commit | ef0eb9e5bf1f0ff18c498e9e7882f75aa7a2576c (patch) | |
| tree | 7e2eb6f0063de99ec983c3f835e6627951c1268c /src | |
| parent | 62d5aae1198e7e8374470539e19a112593fb0b2b (diff) | |
improve documentation on which invariants are checked by which auditor helper
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions