diff src/libmain.cpp @ 281:405a2ad601f4

drand48 isn't so portable and we don't really need high-quality randomness, use rand instead
author Chris Cannam
date Wed, 06 Aug 2014 16:44:44 +0100
parents c6d230c31713
children
line wrap: on
line diff