lemon/random.h
changeset 758 b31e130db13d
parent 559 c5fd2d996909