summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-01-12 12:02:54 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-01-12 12:02:54 -0500
commit9b8fc824ae3fe7176abf67fecb811dd5bdb89cda (patch)
tree3ad0a78a5e031c32e32ebd3c046c365fdb2e23f8 /doc
parent2127b8bbe36c8864919c03a8f09aee5db6595c72 (diff)
Switch to using OpenSSL PRNG for the one remaining rand()
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions