diff options
author | Alberto Ruiz <aruiz@um.es> | 2014-12-14 11:41:50 +0100 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2014-12-14 11:41:50 +0100 |
commit | e93cd3dee7ddfb7e688ed300adcfaacc5cbad7b6 (patch) | |
tree | 60f3cdf49252be278c20be52d85a35b1b85c850e /packages/base/Setup.lhs | |
parent | d823b47bbd45f9674693c0a7bae60f897b38d6b7 (diff) |
change drand48_r to random_r
Diffstat (limited to 'packages/base/Setup.lhs')
0 files changed, 0 insertions, 0 deletions