lemon/random.cc
changeset 2236 9f329faa4aee
child 2246 9c472eee236f