lemon/random.cc
changeset 1186 3feba0ea1bda
parent 209 765619b7cbb2