lemon/random.cc
changeset 472 c46afb3f67a6
parent 209 765619b7cbb2