diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-01-22 09:46:20 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-01-22 09:46:20 -0500 |
| commit | 8e3407dde788b4b58783369462df3d13cfe6698c (patch) | |
| tree | 1c47d0195ff76fe9a111e155c6ff78e3fe84cd00 /doc | |
| parent | 9e3b2195e8a9bb069ea7109249662ef033c488bc (diff) | |
Fix silly mistake from last commit; also switch away from rand() in openssl.c
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions