log

age author description
Thu, 21 Jan 1999 12:12:24 +0000 Andrew Innes (temacs): Use del to delete file, not rm.
Wed, 20 Jan 1999 07:11:00 +0000 Richard M. Stallman (widget-alist-convert-option): Delete spurious comma.
Wed, 20 Jan 1999 03:24:48 +0000 Richard M. Stallman (Info-default-directory-list): Perhaps add /usr/info.