lemon/random.cc
changeset 373 7d7d9debb29a
parent 39 0a01d811071f