lemon/random.cc
changeset 515 1c5d6e47921f
parent 209 765619b7cbb2