factor/extra/benchmark/random
John Benediktsson ffab88d5e9 benchmark.random: no need to write the file.
Also, add random-unit and random-32 to benchmark.
2012-09-06 07:53:41 -07:00
..
random.factor benchmark.random: no need to write the file. 2012-09-06 07:53:41 -07:00