d2verb 2cb12b4f4e rand: change rand.seed() to receive seed value		2019-07-13 18:17:45 +02:00
..
rand.v	rand: change rand.seed() to receive seed value	2019-07-13 18:17:45 +02:00
rand_test.v	rand: change rand.seed() to receive seed value	2019-07-13 18:17:45 +02:00