Added option seed for user specified random seed, bug # 1125
CVS patchset: 8875
CVS date: 2006/03/13 09:42:42
Mercurial revision: 865de0dd7409b3de34f723fcbeee5c7131c5a5ef
Description
Description
Details
Details
- Provenance
Jia Ming Pan <panjiam@cn.ibm.com> Authored on Mar 13 2006, 4:42 AM - Parents
- rPcf1898dd07b2: just made a mistake, rolled back to the previouse version
- Branches
- Unknown
- Tags