ChangeLog
author alpar
Wed, 05 Jul 2006 16:59:45 +0000
changeset 2120 a907fb95f1e0
child 928 71dc900ee30f
permissions -rw-r--r--
As we agreed, Node/Edge::operator<() is required by the concept