lemon/random.cc
changeset 1044 15d7c5eadaca
parent 209 765619b7cbb2