Don't run graph algorithms if no edge is deleted in terminate_connection().
[tinc] / INSTALL
2000-03-26 Ivo TimmermansInitial revision