lemon/base.cc
changeset 492 9605e051942f
parent 220 a5d8c039f218
child 507 e6ae4999cf22