apio 45afd3e243 Replace the rand() which reads from /dev/random with a Mersenne PRNG. ... Much better now. Also, it is seeded by reading from /dev/random at startup. Not sure if that's the best idea, but we'll see.		2022-10-15 16:46:54 +02:00
..
init.c	Replace the rand() which reads from /dev/random with a Mersenne PRNG.	2022-10-15 16:46:54 +02:00
sym.c	It (almost) works now	2022-10-14 16:46:00 +02:00