chiark / gitweb /
Dies if doesn't get a ping. Configs separated.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Dec 2000 16:35:14 +0000 (16:35 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Dec 2000 16:35:14 +0000 (16:35 +0000)

No differences found