log

age author description
Tue, 20 Aug 2002 00:33:04 +0000 diego Converted the docs to use proper headings tags.
Mon, 19 Aug 2002 11:17:24 +0000 jaf sync by anders@gnulinux.dk
Mon, 19 Aug 2002 01:38:59 +0000 diego Sync the man page with the removed sections of the HTML docs.