lemon/random.cc
changeset 924 a80381c43760
parent 209 765619b7cbb2