lemon/random.cc
changeset 513 17cabb114d52
parent 209 765619b7cbb2