lemon/random.cc
changeset 638 57e6f560fb13
parent 209 765619b7cbb2