diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-08-22 18:18:07 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-08-22 18:18:07 -0700 |
| commit | d231cb33833d89398935f6c11976c4607de9fc39 (patch) | |
| tree | 451d9ec14dc90e9ee672af0446ed3a2df9a564ac /tools/shared.py | |
| parent | d14fa6d9156035b1c9edf00b8f4a7131c135f027 (diff) | |
use Math.random() in rand(). This gives properly random results, unlike before, but we now ignore the seed sadly
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions