Changeset 67747

Timestamp:

Jan 7, 2011, 5:21:51 AM (12 years ago)

Author:

Katie Chan

Message:

Change from simple use of std::rand() to use Boost.Random and specify a reasonable range so we don't run out of memory. Other general tidy up.

(No files)