lemon/random.cc
changeset 1181 1e5da3fc4fbc
parent 209 765619b7cbb2