Loading
Random generators now have their seeds dependent both on time and process ID.
(used to be depending only on time which produces exactly the same sequences when executed at the very same time, e.g., from a script) M rnd_generators.cpp
(used to be depending only on time which produces exactly the same sequences when executed at the very same time, e.g., from a script) M rnd_generators.cpp