lemon/random.cc
changeset 327 5e12d7734036
parent 39 0a01d811071f