lemon/random.cc
changeset 627 20dac2104519
parent 209 765619b7cbb2