Fixed Issue #60. Improved randomization granularity for shuffleBed.
Previously used time() which has 1 second precision. Now use gettimeofday() which has millisecond precision.
Please register or sign in to comment
Previously used time() which has 1 second precision. Now use gettimeofday() which has millisecond precision.