lemon/random.cc
changeset 876 7f6e2bd76654
parent 209 765619b7cbb2