Thu, 20 Mar 2008 17:15:35 +0100Seeding random sequence
Balazs Dezso <deba@inf.elte.hu> [Thu, 20 Mar 2008 17:15:35 +0100] rev 102
Seeding random sequence

Thu, 20 Mar 2008 12:12:24 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Thu, 20 Mar 2008 12:12:24 +0000] rev 101
Merge