diff options
author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-09-06 13:17:36 +0000 |
---|---|---|
committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-09-06 13:17:36 +0000 |
commit | 1c41c9ccd6545ff905a04b1004a11bf3cf82dc4f (patch) | |
tree | 8c76be1658e971ac7cc9fc653983d21a55da0bb6 /src/OS | |
parent | 671012da45e60149c4b83fc82a141ef745d75d66 (diff) |
Support for verify=not_blind.
Diffstat (limited to 'src/OS')
0 files changed, 0 insertions, 0 deletions