chiark / gitweb /
update control buttons when disconnection detected
authorrjk@greenend.org.uk <>
Sun, 30 Sep 2007 13:37:43 +0000 (14:37 +0100)
committerrjk@greenend.org.uk <>
Sun, 30 Sep 2007 13:37:43 +0000 (14:37 +0100)

No differences found