lemon/random.cc
changeset 513 2a136de8e3f2
parent 209 765619b7cbb2