lemon/random.cc
changeset 598 a3402913cffe
parent 209 765619b7cbb2