lemon/random.cc
changeset 312 dd4f08b7e203
parent 39 0a01d811071f