log

age author description
Mon, 03 Jun 2002 22:57:40 +0000 Richard M. Stallman (Info-extract-pointer): Ignore Info-header-line.