Davide De Rosa 8be0f14aa9 Move PRNG initialization to namespace level		2019-05-19 15:52:55 +02:00
..
Sources	Move PRNG initialization to namespace level	2019-05-19 15:52:55 +02:00