chiark / gitweb /
more menu options desensitized when disconnected
authorrjk@greenend.org.uk <>
Sun, 30 Sep 2007 14:22:29 +0000 (15:22 +0100)
committerrjk@greenend.org.uk <>
Sun, 30 Sep 2007 14:22:29 +0000 (15:22 +0100)
commita76c9d452716c6aee94592363abcbffbfe952e5b
treea58061f17e73257f58219ad6adac52958a3eb194
parent62f2226007101cdec58eacec4d0e8a81bfd8ac69
more menu options desensitized when disconnected
disobedience/choose.c