lemon/random.cc
changeset 768 0a42883c8221
parent 209 765619b7cbb2