lemon/random.h
changeset 767 11c946fa8d13
parent 559 c5fd2d996909