src/core/rng-stream.h
changeset 5581 d74aff108ddc
parent 4234 7ec503ed040d