lemon/random.cc
changeset 523 d9e43511d11c
parent 209 765619b7cbb2