lemon/random.cc
changeset 686 7439dc5fe1b9
parent 209 765619b7cbb2