lemon/random.cc
changeset 735 1f08e846df29
parent 209 765619b7cbb2