lemon/random.cc
changeset 736 2e20aad15754
parent 209 765619b7cbb2