lemon/random.cc
changeset 1045 4e8787627db3
parent 209 765619b7cbb2