lemon/random.h
changeset 717 684964884a2e
parent 559 c5fd2d996909