lemon/random.cc
changeset 522 6a17a722b50e
parent 209 765619b7cbb2