chiark / gitweb /
Various bug fixes: understand requests for help properly, and fix the
authormdw <mdw>
Sat, 3 Feb 2001 16:25:43 +0000 (16:25 +0000)
committermdw <mdw>
Sat, 3 Feb 2001 16:25:43 +0000 (16:25 +0000)
logic for flag letters with `bad' flags.


No differences found