chiark / gitweb /
chiark-utils.git
22 years agoBugfixes from Peter Benie.
ian [Mon, 12 Nov 2001 12:39:04 +0000 (12:39 +0000)]
Bugfixes from Peter Benie.

26 years agoAs submitted as bug and sent to PJB and RJK.
ian [Wed, 8 Apr 1998 02:50:27 +0000 (02:50 +0000)]
As submitted as bug and sent to PJB and RJK.