On 6-4-2018 0:41, Sven Littkowski wrote:
> Tttttsssssssssssssssssssssssss.
> 
> That is insider knowledge! Thanks! I would never have discovered this
> option on my own. Giving a try.   :-)
> 

Everybody can discover it. No "insider knowledge" here at all imo. When 
you need randomness, you naturally go and look at the content of 
rand.inc and its description in the docs. Nothing arcane involved.

-- 
Thomas

Post a reply to this message