log

age author description
Thu, 22 Jan 2015 09:46:20 -0500 Adam Chlipala Fix silly mistake from last commit; also switch away from rand() in openssl.c