lemon/random.cc
changeset 1028 4441b066368c
parent 209 765619b7cbb2