lemon/random.cc
branch1.0
changeset 301 fafece417795
parent 39 0a01d811071f