lemon/random.cc
changeset 959 157427808b40
parent 209 765619b7cbb2