Random number generator
History
change public API to static
2013-09-17, by feb11 [Tue, 17 Sep 2013 18:18:15 +0000] rev 2
change public API to static
improve randomness
2013-09-17, by feb11 [Tue, 17 Sep 2013 12:35:12 +0000] rev 1
improve randomness
initial import
2013-09-17, by feb11 [Tue, 17 Sep 2013 11:30:29 +0000] rev 0
initial import