Updated terminate_connection() so you can choose if DEL_HOSTs should be
[tinc] / debian / docs
1 INSTALL
2 NEWS
3 README