lemon/random.cc
changeset 547 d59dcc933e59
parent 209 765619b7cbb2