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 | 2207f580efc424d40c81d4dd98fb414e29eaa7f9 (patch) | |
| tree | 1c47d0195ff76fe9a111e155c6ff78e3fe84cd00 /doc | |
| parent | 9b8fc824ae3fe7176abf67fecb811dd5bdb89cda (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