jakemsr 12fa88edfc use /dev/arandom instead of /dev/urandom. /dev/urandom is slow. ... ok jasper@		2009-03-23 07:29:18 +00:00
..
patch-configure_in	- bugfix update of ORBit2 to 2.14.17	2009-03-06 09:52:17 +00:00
patch-src_orb_util_genrand_c	use /dev/arandom instead of /dev/urandom. /dev/urandom is slow.	2009-03-23 07:29:18 +00:00
patch-test_timeout_sh