lemon/random.cc
changeset 848 e05b2b48515a
parent 209 765619b7cbb2