lemon/random.cc
changeset 1053 1c978b5bcc65
parent 209 765619b7cbb2