src/lemon/utility.h
changeset 1017 f588efc6d607
child 1164 80bb73097736