lemon/random.cc
changeset 603 85cb3aa71cce
parent 209 765619b7cbb2