Thu, 19 Jun 2008 10:59:22 +0200Seeding from file source or from pid and time (ticket #19)
Balazs Dezso <deba@inf.elte.hu> [Thu, 19 Jun 2008 10:59:22 +0200] rev 177
Seeding from file source or from pid and time (ticket #19)

Tue, 17 Jun 2008 12:47:15 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 17 Jun 2008 12:47:15 +0100] rev 176
Merge