lemon/random.cc
changeset 2242 16523135943d
child 2246 9c472eee236f