lemon/random.cc
changeset 1081 9d1616d708ee
parent 209 765619b7cbb2