Closed mateidavid closed 9 years ago
Added CL option to specify random seed (if not given or 0, use time). Also added log message about what random seed is being used.
Added CL option to specify random seed (if not given or 0, use time). Also added log message about what random seed is being used.