lemon/random.cc
changeset 456 aff6888e71c9
parent 209 765619b7cbb2