lemon/random.h
changeset 817 b87f0504cdbe
parent 559 c5fd2d996909