lemon/random.cc
changeset 782 ceb2756dea2a
parent 209 765619b7cbb2