Thu, 08 Oct 2015 13:48:09 +0200Platform independent Random generators (#602)
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Oct 2015 13:48:09 +0200] rev 1163
Platform independent Random generators (#602)