lemon/random.cc
changeset 11 ea5945b2da9c
child 16 22696f89d183