lemon/random.cc
changeset 951 41d7ac528c3a
parent 209 765619b7cbb2