lemon/base.cc
changeset 1839 b2dfd32b4895
parent 1835 eb6c34c76501
child 1853 dd0b47adc152