lemon/random.cc
changeset 1005 f37f0845cf32
parent 209 765619b7cbb2