lemon/random.cc
changeset 665 1993af615e68
parent 209 765619b7cbb2