lemon/random.cc
changeset 420 e24922c56bc2
parent 39 0a01d811071f