Rémi Verschelde 2652f6fc69 doc: Override default value for RandomNumberGenerator.seed ...

It's non-deterministic so it's better to show a fixed value like 0 instead of
having it potentially change whenever `randomize()` is called.

Fixes #43317.

(cherry picked from commit 35e6070a35)

2020-11-11 15:30:56 +01:00

3.4 KiB

Raw Blame History

View Raw