lemon/random.cc
changeset 576 33c6b6e755cd
parent 209 765619b7cbb2