Run graph() after edge_del() when updating an edge.
authorGuus Sliepen <guus@tinc-vpn.org>
Tue, 24 Sep 2002 11:43:34 +0000 (11:43 +0000)
committerGuus Sliepen <guus@tinc-vpn.org>
Tue, 24 Sep 2002 11:43:34 +0000 (11:43 +0000)

No differences found