diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-05 00:41:18 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-05 00:41:24 +0100 |
| commit | 35e6070a353044a82f5f33c7ca52e6f315320a29 (patch) | |
| tree | 8aac05454a3b68539b3fc908824191daa06e18de /core/io/resource_saver.h | |
| parent | 8e13b93bf78e4440e2012cec4940b8e3318daac1 (diff) | |
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.
Diffstat (limited to 'core/io/resource_saver.h')
0 files changed, 0 insertions, 0 deletions