summaryrefslogtreecommitdiff
path: root/src/OS
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2005-09-06 13:17:36 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2005-09-06 13:17:36 +0000
commit1c41c9ccd6545ff905a04b1004a11bf3cf82dc4f (patch)
tree8c76be1658e971ac7cc9fc653983d21a55da0bb6 /src/OS
parent671012da45e60149c4b83fc82a141ef745d75d66 (diff)
Support for verify=not_blind.
Diffstat (limited to 'src/OS')
0 files changed, 0 insertions, 0 deletions