log man/mark.texi @ 35918:89bf4e8936b6

age author description
Wed, 05 Jan 2000 23:25:33 +0000 Dave Love Highlighting on tty now.
Wed, 29 Sep 1999 15:17:24 +0000 Dave Love #