lemon/random.cc
changeset 938 98ddf8d5fda9
parent 209 765619b7cbb2