lemon/random.cc
changeset 704 bb8c4cd57900
parent 209 765619b7cbb2