lemon/random.cc
changeset 521 3af83b6be1df
parent 209 765619b7cbb2