lemon/random.cc
changeset 1140 f8ec64f78b5f
parent 209 765619b7cbb2