lemon/random.cc
changeset 766 2eebc8f7dca5
parent 209 765619b7cbb2