diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-16 23:24:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-16 23:24:02 +0100 |
| commit | f6fcbcfe9eb09af63b545865d7341190519ac63e (patch) | |
| tree | ed54a5ec63c4e5959fd11731ec11c077b7f36ed6 /doc/classes | |
| parent | 9402d2f9feaddae00012ee6c3da074097e15dd22 (diff) | |
| parent | f946b28f752998e8cf43a20f2458537e7c5fd120 (diff) | |
Merge pull request #25680 from Chaosus/random_fix
Fix random generation, to not always retrieve 0 after seed()
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions