lemon/random.cc
changeset 585 7ac52d6a268e
parent 209 765619b7cbb2