lemon/random.cc
changeset 1061 2024bf2ecdd6
parent 209 765619b7cbb2